«automata» 태그된 질문

컴퓨팅 이론 과정에서 우리의 많은 문제는 입력 문자열의 길이에 유도를 사용하여 유한 오토마타에 대한 진술을 증명하는 것과 관련이 있습니다. 나는 수학적 귀납법을 이해하지만, 현이 연주 될 때 나는 실제 트립됩니다. 누군가가 그런 증거를 단계별로 만드는 과정을 거치면 정말 감사하겠습니다. 다음은 문제의 예입니다 (Hopcroft 및 Ullman 3rd Edition의 2.2.10 연습). 다음 …

20 automata  finite-automata  proof-techniques  reference-question  induction 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 모든 비 결정적 유한 오토마타는 동등한 결정적 유한 오토마타로 전환 될 수 있습니다. 그러나 결정 론적 유한 오토마타는 상태에서 가리키는 심볼 당 하나의 화살표 만 허용합니다. …

20 automata  finite-automata  nondeterminism 

셀룰러 오토마타에서 규칙 110 에 대한 Wikipedia 페이지를 읽었으며 그 규칙 이 어떻게 작동하는지 알고 있습니다 (규칙 집합이 다음 1 또는 0을 그릴 위치를 결정합니다). 방금 튜링이 완료되었다는 것을 읽었지만 '룰 110'에서 어떻게 '프로그램'하겠습니까?

19 computability  automata  turing-completeness  cellular-automata 

허락하다 L = { a엔∣ ∃p ≥ n 피, p + 2 는 소수입니다 } . L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. 가 일반?엘LL 이 질문은 언뜻보기에 의심스러워 보였고 그것이 쌍둥이 프라임 추측 과 관련이 있음을 깨달았습니다 . 내 …

19 formal-languages  automata  regular-languages  finite-automata 

다음 질문에 붙어 있습니다. "정규 언어는 유한 오토마타에 의해 정확하게 수용된 언어입니다.이 사실을 감안할 때, 언어 이 유한 오토 마톤에 의해 수용되면 도 일부 유한에 의해 수용되고 은 모든 단어로 구성됩니다 의 역으로. "L R L R LLLLLRLRL^{R}LRLRL^{R}LLL

19 formal-languages  regular-languages  automata  finite-automata 

빈 셀에 쓸 수있는 능력이없는 Turing 머신은 표준 Turing보다 덜 강력합니까? 나는 대답은 그렇다고 생각하지만 표준 Turing 기계는 할 수 있지만이 기계는 할 수없는 계산을 찾을 수 없습니다. 어떤 아이디어?

18 formal-languages  turing-machines  computability  automata 

문맥없는 문법에 다음과 같은 오토 마톤의 "죽은 상태"가 포함될 수 있습니다 G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? 생산 규칙 및 는 영원히 반복되며 단어를 생성하지 않습니다. 이것이 허용되거나 생산 규칙이 어느 시점에서 터미널로 끝나야합니까?C → c CB→CB→CB\to CC→cCC→c씨C\to cC

18 context-free  automata  formal-grammars 

적어도 제 자신의 참고 문헌 (Hopcroft + Ullman 1979)에서 Turing machine (TM)의 기본 정의는 결정적입니다. 따라서 정지 문제에 대한 내 자신의 이해 는 주로 결정 론적 TM에 대한 것이지만 다른 종류의 오토마타에서도 고려 될 수 있음을 알고 있습니다. 또한 사람들이 종종 TM을 참조하는 방식이나 정지 문제를 결정하는 데있어 결정론이 다소 …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

예를 들어 하위 문자열이없는 문자열을 허용하는 DFA를 고려 00하거나 11다음 두 가지 DFA를 생성 할 수있는 경우 :

17 automata  finite-automata 

디지털 순차 회로 설계에서 FSM을 사용했습니다. 그러나 나는 유한 Automata에 익숙하지 않습니다. 누군가가 둘 사이의 '기본'차이를 이해하는 데 도움을 줄 수 있습니까?

16 terminology  automata  finite-automata 

이것은의 후속 질문 이 하나 . 이국적인 상태 머신 에 대한 이전 질문 에서 Alex ten Brink와 Raphael은 고유 한 상태 머신의 계산 기능 : 최소 힙 오토마타를 다루었습니다. 그들은 그러한 기계들 ( HALHALHAL )에 의해 받아 들여진 언어 세트가 문맥이없는 언어 세트의 서브 세트도 아니고 수퍼 세트도 아님 을 …

16 formal-languages  automata  closure-properties 

결정 론적 유한 오토 마톤 (DFA)은 모든 정규 언어 만 수용 할 수있는 상태 머신 모델입니다. DFA는 각 상태가 입력 알파벳의 모든 요소에 대해 약간의 전환을 제공해야하는 방식으로 정의 될 수 있으며 일반적으로 정의 될 수 있습니다. 즉, 전이 함수 는 (총) 함수 여야합니다.δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times \Sigma \rightarrow Q …

16 formal-languages  automata  finite-automata 

이기 때문에 이것이 가능한지 궁금합니다 . 따라서 단어 w ∈ { a n b n c n ∣ n ≥ 0 } 을 나머지 { a ∗ b ∗ c ∗ } 와 구별 할 수있는 PDA 도 받아 들일 수 있습니다.{엔비엔씨엔∣ n ≥ 0 } ∉ C F L{anbncn∣n≥0}∉CFL\{a^n …

16 formal-languages  automata  context-free  pushdown-automata 

두 개 이상의 카운터가있는 카운터 머신 은 일반적으로 계산 이론에 대한 과정에서 튜링 머신과 동등한 것으로 표시됩니다. 그러나, 나는 1 카운터 기계가 어떤 언어를 인식 할 수 있는지에 대한 공식적인 분석을 보지 못했습니다. 이러한 언어는 문맥이없는 언어 (아마도 PDA와 관련하여 일부 영리한 구성)와 동등하거나 완전히 다른 클래스의 언어입니까?

15 computability  automata 

선형 경계 오토마타의 결정 불가능한 속성이 있습니까 (빈 세트 언어 트릭을 피하십시오)? 결정 론적 유한 오토 마톤은 어떻습니까? (난도를 제쳐두고). Turing 머신을 명시 적으로 사용하지 않고 정의 할 수 없는 결정 가능한 문제의 예를 얻고 싶습니다 . 계산할 수없는 문제를 지원하기 위해 모델의 Turing 완전성이 필요합니까?

15 computability  automata  undecidability