«automata» 태그된 질문

양방향 DFA의 공허함을 결정하는 데 시간 복잡성이 무엇인지 궁금합니다. 즉, 읽기 전용 입력 테이프에서 뒤로 이동할 수있는 유한 오토마타. Wikipedia에 따르면 DFA와 동일하지만 동등한 DFA는 기하 급수적으로 클 수 있습니다. 나는 보완 및 교차로에 대한 국가의 복잡성을 발견했지만 공허 테스트에 대해서는 아닙니다. 아무도 내가 이것을 찾을 수있는 종이를 알고 있습니까?

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

그렇지 않은 경우 일부 상태 및 일부 기호 , 가 존재하지 않을 때의 의미는 무엇 입니까?a δ ( q , a )큐qqㅏaaδ( q, )δ(q,a)\delta(q, a)

12 terminology  automata  finite-automata 

따라서 두 개의 DFA가 주어지면 동일한 언어를 생성 할 수 있는지를 결정하는 데 문제가 있습니까? 나는 두 CFL의 평등이 결정 불가능하다는 것을 이미 알고 있습니다. 두 DFA의 평등은 어떻습니까? DFA와 관련된 대부분의 문제를 결정할 수 있다는 점을 고려할 때, 이것도 결정할 수 있습니까?

11 computability  automata  finite-automata  decision-problem 

이것은 어리석은 질문 일 수 있습니다. FSA는 유한하기 때문에 입력 문자열의 기호 수를 상태 수에 의해 제한되는 수까지만 계산할 수 있습니다. 그러나 이제 FSA에 출력 (예 : 인쇄) 기능이 있다고 가정합니다. 그러면 읽는 각 심볼마다 하나의 심볼을 인쇄 할 수있는 기계를 구성하는 것이 매우 쉽습니다. 그 계산으로 계산됩니까? 그렇지 않다면 …

11 automata  finite-automata 

나는 이후, 궁금 스타가없는 언어가 아닌 일반 언어가 자체 별이없는 언어이다? 예를 들어 주시겠습니까?a∗a∗a^* (에서 wikipdia ) 로손 스타가없는 언어로 정의한다 : 정규 언어는 알파벳 문자, 빈 세트 기호, 보완을 포함하여 모든 부울 연산자 및 연결을 포함하지만 Kleene 별은 포함하지 않는 정규식으로 표현할 수 있으면 별이 없다고합니다. 다음은 별표가없는 의 …

11 formal-languages  regular-languages  automata 

이중 문자 (aa, bb)로 시작하거나 이중 문자 (aa, bb)로 끝나는 모든 입력을 허용하는 DFA를 만드는 간단한 문제가 있습니다. 는 주어진 언어.Σ = { a , b }Σ={ㅏ,비}\Sigma =\{a, b\} 나는 다음과 같이 로터리 방식으로 해결하려고했습니다. 정규식 생성 해당 NFA 만들기 파워 셋 구성을 사용하여 DFA 추론 DFA의 상태 수 최소화 …

11 automata  finite-automata 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Brzozowski의 알고리즘은 Moore automata로 확장 될 수 있지만 시간 복잡성은 일반적으로 기하 급수적입니다. Moore automata를 최소화하기위한 다른 알고리즘이 있습니까? 이 알고리즘의 실행 시간은 무엇입니까?

11 reference-request  automata  optimization  finite-automata  transducers 

주어 두 세트는 문자 위에 문자열 우리 (DFA) 작은 결정 성 유한 상태 오토 마톤을 계산할 수 M 이되도록 \ SUBSETEQ의 L (M) 와 L (M) \ SUBSETEQ \ 시그마 ^ * \ setminus의 B를 ?A,BA,BA,BΣΣ\SigmaMMMA⊆L(M)A⊆L(M)A \subseteq L(M)L(M)⊆Σ∗∖BL(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B 즉, AAA 는 일련의 긍정적 인 예를 나타냅니다. A의 …

11 regular-languages  automata  finite-automata  machine-learning 

나는 교과서에서 열심히 연습하고 있으며, 진행 방법을 알 수 없습니다. 여기에 문제가 있습니다. 언어가 있다고 가정합니다 여기서 는 비이성적 인 숫자입니다. 이 문맥없는 언어가 아님 을 어떻게 증명할 수 있습니까?L = { a i b j : i ≤ j γ , i ≥ 0 , j ≥ 1 } …

10 formal-languages  automata  context-free 

NFA를 DFA로 변환하는 방법을 배우고 있으며 올바르게 수행하고 싶습니다. 분명히 다른 방향으로 돌아가는 것은 중요하지 않습니다. 누구나 DFA가 NFA와 같은지 확인하는 알고리즘을 알고 있습니까?

10 automata  finite-automata  proof-techniques  nondeterminism 

HTML5 + CSS가 Turing Complete임을 "증명"하는 웹 사이트를 보았습니다. SQL이 Turing Complete임을 "증명"하는 웹 사이트를 보았습니다. 튜링 컴플리트 (Turing Complete)라는 의미를 "설명"하려는 웹 사이트들이 많이 있습니다. 충분히! "이 언어 XYZ는 계산 능력이 동일한 계산 기계를 설명 할 수 있습니다. 튜링 머신으로 "?

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

이론적 인 컴퓨터 과학 전공을 찾고 있습니다. 특히, 나는 복잡성 이론과 확률 적 오토마타 이론에 관심이있다. 내가 1 년 안에 졸업 할 때, 다음의 두 학기를 이수하는 것이 수학의 어떤 고급 과정 (예 : 갈루아 이론 또는 고조파 분석)에 도움이 될 것이라고 생각하십니까? 왜?

10 complexity-theory  automata  education 

heap automata 에 대한 조사와 관련 하여 특정 변형이 문맥에 맞지 않는 언어를 받아 들일 수 없음을 증명하고 싶습니다. 동등한 문법 모델이 없기 때문에 오토마타 만 사용하는 증명이 필요합니다. 따라서 힙 오토마타를 LBA (또는 동등한 모델) 로 시뮬레이션 할 수 있음을 보여 주어야합니다 . 푸시 다운 오토마타가 상황에 맞는 언어의 …

10 automata  pushdown-automata 

나는 Google Blocky의 Maze 데모 로 장난을 쳤고 미로 를 풀고 싶다면 왼손을 벽에 두십시오. 이것은 간단하게 연결된 미로에서 작동하며 유한 변환기로 구현할 수 있습니다. 로봇이 다음과 같은 행동과 관찰 가능한 트랜스 듀서로 표현되도록하십시오 : 동작 : 앞으로 이동 ( ↑↑\uparrow ), 좌회전 ( ←←\leftarrow ), 우회전 ( →→\rightarrow ) …

10 automata  finite-automata  artificial-intelligence