«finite-automata» 태그된 질문

문맥 자유 언어 L과 정규 언어 M의 교차는 항상 문맥 자유라고합니다. 교차 제품 구성 증명을 이해했지만 여전히 컨텍스트가 없지만 규칙이 아닌 이유는 알 수 없습니다. 이러한 교차로에서 생성 된 언어에는 PDA 와 DFA에서 모두 허용되는 문자열이 있습니다 . DFA에서 허용되므로 일반 언어가 아니어야합니까? 또한 교차점이 규칙적인 경우 모든 일반 언어에도 …

16 regular-languages  context-free  finite-automata  formal-grammars 

Brzozowski의 DFA 최소화 알고리즘은 다음을 통해 DFA 에 대한 최소 DFA를 구축합니다 .지지G 역 언어에 대한 NFA 을 얻기 위해 초기 상태를 수락 상태로 만들고 수락 상태를 초기 상태로 만드는 모든 모서리를 반전지지G엔'엔'N' 리버스 언어에 대한 를 얻기 위해 파워 셋 구성을 사용 합니다.지'지'G' 원래 언어에 대한 NFA 을 얻기 …

16 algorithms  finite-automata  runtime-analysis 

최근 흥미로운 질문이 제기되어 삭제되었습니다. 일반 언어 LLL 경우 DFA 복잡도 는이를 수용하는 최소 DFA의 크기이며, NFA 복잡도 는이를 수용하는 최소 NFA의 크기입니다. 적어도 알파벳의 크기가 제한되지 않을 때, 두 복잡성 사이에 지수 적 분리가 존재한다는 것은 잘 알려져있다. 실제로, 모든 기호를 포함 하지 않는 모든 단어로 구성된 알파벳 { …

15 regular-languages  finite-automata 

언어 감안할 때 LLL 의 길이 세트 정의 LLL 단어의 길이의 세트로 LLL : LS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} 정규 언어의 길이 세트가 될 수있는 정수 세트는 무엇입니까?

15 formal-languages  computability  regular-languages  finite-automata 

나는이 [재미있는] 질문을 염두에두고있다. 왜되는 비 결정적 유한 오토 마톤 라는 비 결정적 우리는 입력에 대해 전환을 정의하면서. 글쎄, 다중 및 엡실론 전환 이 있지만 , 그것들은 기계가 그러한 전환에 결정적임을 의미합니다. 그것은 결정적이라는 것을 의미합니다.

14 finite-automata  nondeterminism 

알파벳 주어지면, n- 상태의 비 결정적 유한 오토 마톤에 Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}의해 수용 될 수있는 다른 정규 언어는 몇 개 입니까?nnn 예를 들어, 고려하십시오 n=3n=3n=3. 그런 다음 2182182^{18} 다른 전환 구성과 23232^3 다른 시작 및 종료 상태 구성을 가지므로 상한이 2242242^{24} 다른 언어입니다. 그러나 이것들 중 다수는 동등 …

14 formal-languages  regular-languages  finite-automata  combinatorics 

동등한 상태를 찾아 병합하여 DFA를 최소화 할 수 있지만 NFA와 동일한 결과를 얻을 수없는 이유는 무엇입니까? 증거가 이해하기 쉽지 않은 한, 나는 증거 나 그와 비슷한 것을 찾고 있지 않습니다. DFA 최소화가 아닌 경우 NFA 최소화가 어려운 이유를 직관적으로 이해하고 싶습니다.

14 complexity-theory  finite-automata  nondeterminism 

다음 문제가 결정 가능한지 알고 싶습니다. 인스턴스 : 상태가 n 인 NFA A 질문 : A가 길이 p의 일부 문자열을 허용하는 소수 p가 있습니까? 내 생각 에이 문제는 결정할 수 없지만 그것을 증명할 수는 없습니다. 결정자는 특정 숫자가 소수인지 알아내는 알고리즘을 쉽게 가질 수 있지만 NFA가 생성 할 수있는 길이를 …

14 computability  finite-automata 

저는 오토마타에 관심이 있지만 논리에는 관심이없는 프로그래머입니다. 나는 두 사람이 매우 밀접하게 관련되어 있다는 논문을 읽었습니다. DFA (Deterministic Finite Automata), Tree Automata 및 Visibly Pushdown Automata는 모두 모나 딕 2 차 로직 (MSO)과 관련이 있습니다. 비록 오토마타와 사람들이 (서류에서) MSO와의 관계를 설명하려고 노력했지만, 그들은 항상 논리에 대한 강력한 배경과 MSO에 …

14 automata  finite-automata  logic  coq  automated-theorem-proving 

나는 공식 언어와 생산 기반 시스템 (규칙 기반 시스템)을 공부하고 있는데 왜이 두 단어 "생산"과 "규칙"이 컴퓨터 과학의 많은 맥락에서 같은 의미를 갖는지에 대해 약간 혼란스러워합니다. 영어로 그들은 같은 것을 의미하지 않는 것 같습니다. 나는 영어를 모국어로 사용하는 사람은 아니지만, 규칙은 사람들에 대해 이야기 할 때하지 말아야 할 일이나하지 말아야 …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

내일은 나의 프리젠 테이션이며 내 개념을 지우고 싶습니다… DFA에서 "각 상태마다 가능한 모든 심볼 (알파벳)의 전환을 정의해야합니다." 각 상태에 대해 DFA에서 필수 가능한 모든 기호에 대한 전환을 정의합니까? 그렇지 않은 경우 예를 들어 주시겠습니까?

13 automata  finite-automata  nondeterminism 

방금 계산 이론에 대해 읽기 시작했습니다. 어느 것이 더 강력한 지 (문자열 수용에서) 비교하면 둘 다 동일합니다. 그러나 효율성은 어떻습니까? DFA는 나가는 가장자리가 하나 뿐이며 모호성이 없으므로 NFA에 비해 빠릅니다. 그러나 NFA의 경우 가능한 모든 사례를 확인해야하며 시간이 오래 걸립니다. DFA가 NFA보다 더 효율적이라고 말할 수 있습니까? 그러나 뇌의 다른 …

13 finite-automata  efficiency  nondeterminism 

목표는 정규식에서 DFA를 작성하는 것이며 "정규 exp> NFA> DFA 변환"을 사용하는 것은 옵션이 아닙니다. 어떻게해야합니까? 나는이 질문을 교수에게 물었지만 그는 우리가 직관을 사용할 수 있다고 말했고 친절하게 설명을 거부했다. 그래서 물어보고 싶었습니다. "정규 exp> NFA> DFA 변환"은 이러한 변환이 다소 복잡한 정규식을 변환하는 데 많은 시간이 걸리기 때문에 옵션이 아닙니다. …

12 automata  finite-automata  regular-expressions  simulation 

아래 그림에서이 NFA가 정확히 무엇을 받아들이고 있는지 파악하려고합니다. 나를 혼란스럽게하는 것은 q 0 에서 의 점프 입니다.ϵϵ\epsilonq0q0q_0 경우 을 입력, 모두 시스템 이동하지 Q 0 및 Q 1 (상태를 동의)을?000q0q0q_0 q1q1q_1 경우 입력, 모두 시스템 이동하지 Q 1 과 Q 2를 ?111q1q1q_1q2q2q_2 입력 이 없으면 (빈 문자열) 시스템이 (상태 수락) …

12 automata  finite-automata  nondeterminism 

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

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