«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 

나는 유한 한 우리의 컴퓨터가 궁극적으로 Finite State Machine보다 강력하지 않다는 인상을 받았습니다. 그러나 선형 경계 튜링 머신은 유한하지만 정규 언어는 문맥에 맞는 언어의 부적절한 하위 집합 인 것 같습니다. 분명히, 나는 여기에 뭔가 빠져 있습니다. 무슨 일이야?

11 finite-automata  computation-models  linear-bounded-automata 

철저하게 문헌에서 연구되어 왔으며, 여러 가지 알고리즘은 다음과 같은 문제를 해결하기 위해 제안되었다 문제가 결정적 유한 오토마타 (DFAS)를 최소로 줄이는하십시오 DFA 감안할 때 , 같은 언어를 받아들이는 해당 최소한의 DFA를 계산 을 . 이러한 알고리즘의 대부분은 다항식 시간으로 실행됩니다.AA\mathscr{A}AA\mathscr{A} "는 DFA 주어진 - 그러나, 나는이 문제의 결정 변형 여부를 궁금해 …

11 algorithms  formal-languages  finite-automata 

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

11 automata  finite-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 

올바르게 이해하면 NFA는 정규 표현식과 동일한 표현력을 갖습니다. 종종 NFA에서 동등한 정규 표현식을 읽는 것이 쉽습니다.주기를 별, 접합점으로 대체 등으로 변환합니다. 그러나이 경우에해야 할 일 : [ 출처 ] 사이클이 겹치면이 오토 마톤이 무엇을 받아들이는지 (정규 표현으로)보기가 어렵습니다. 트릭이 있습니까?

11 algorithms  formal-languages  finite-automata  regular-expressions 

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 

평소와 같이 유한 상태 머신을 고려하지만 모든 전환마다 숫자를 더하거나 빼서 정수 카운터를 업데이트 할 수도 있습니다. 말하자면, 형태의 전이 함수 새로운 상태로 이동한다 , 및 추가 카운터로 (그래서에게 긍정적일 , 음수 또는 0).δ( q, a ) = ( p , k )δ(q,a)=(p,k)\delta(q,a) = (p,k)피pp케이kkk ∈ Zk∈Zk \in \mathbb{Z}케이kk 최종 …

10 finite-automata 

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

10 automata  finite-automata  proof-techniques  nondeterminism 

입력 단어의 DFA 및 런타임 구성 Levenshtein Automata를 사용하여 퍼지 파싱 (일부 편집 거리에 오타가있는 문자열도 허용)을 수행하는 방법이 있습니다. Earley 파서로 비슷한 것을 할 수 있습니까? 이 질문에 대답하는 것은 물론 알고리즘을 이해하기가 어렵습니다.

10 algorithms  context-free  finite-automata  parsers  string-metrics 

주어진 텍스트 문자열과 모든 하위 문자열을 허용하는 비 주기적 유한 상태 자동 생성기를 생성하는 패턴 일치 알고리즘을 사용하고 있습니다. FSA 알고리즘은 음악 스트림 (예 : MIDI 데이터)을 상징적으로 표현하고 있습니다. 음악 스트림은 각 노래를 레이블이없는 '세그먼트'로 나누기 위해 사전 처리되었습니다. FSA는 각각의 노래의 각 세그먼트에 대해 생성된다 : I가있는 경우에 …

10 formal-languages  reference-request  finite-automata 

주가 3 개 밖에없는 DFA에서는 받아 들일 수없는 일반 언어를 설명하십시오. 나는 어디에서 이것을 시작할 지 확신하지 못하고 누군가 나에게 몇 가지 팁이나 조언을 줄 수 있는지 궁금해했다. 나는 펌핑 보조 정리가 언어가 규칙적이지 않다는 것을 증명하기 위해 사용될 수 있다는 것을 이해하지만,이 경우에는 정규 언어 여야합니다. 누구든지 생각이 있다면 …

10 formal-languages  regular-languages  finite-automata  pumping-lemma