«finite-automata» 태그된 질문

표준 알고리즘 (예 : Thompson 's algorithm )을 사용하면 정규식을 동일한 언어를 수용하는 (최소) NFA로 쉽게 변환 할 수 있습니다 . 그러나 다른 방향은 더 지루한 것처럼 보이고 때로는 결과 표현이 지저분합니다. NFA를 동등한 정규식으로 변환하기위한 알고리즘은 무엇입니까? 시간 복잡성 또는 결과 크기와 관련하여 장점이 있습니까? 이것은 참조 질문이어야합니다. 방법에 …

115 algorithms  formal-languages  finite-automata  regular-expressions  reference-question 

오토마타 이론에서, 우리는 처음부터 오토마타를 유한 오토마타로 읽습니다. 내가 알고 싶은 것은 오토마타가 왜 유한 한가? 명확하게 말하면, 알파벳, 언어, 정규 표현식으로 만든 문자열 또는 무엇입니까? 그리고 (이론적으로) 무한한 오토마타가 있습니까?

35 automata  finite-automata 

수업 시간에 한 학생이 모든 유한 한 오토마타가 가장자리를 넘지 않고 그릴 수 있는지 물었습니다 (모든 예제가 그랬던 것처럼 보입니다). 물론 대답은 부정적이다. 언어에 대한 명백한 자동화는 {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid \#_a(x)+2\#_b(x) \equiv 0 \mod 5 \;\} 는 5 개의 노드에 대한 완전한 그래프 인 K5K5K_5 의 구조를 갖습니다 . . …

32 regular-languages  finite-automata  planar-graphs 

난 그냥의 첫 번째 챕터 완료 한 계산의 이론 소개 에 의해 마이클 십서 유한 오토마타의 기본 사항을 설명합니다. 그는 정규 언어를 유한 오토마타로 설명 할 수있는 것으로 정의합니다. 그러나 나는 왜 정규 언어가 "정규"라고 불리는지를 설명 할 수 없었습니다. 이 문맥에서 "정규"라는 용어의 기원은 무엇입니까? 참고 : 나는 초보자이므로 …

31 formal-languages  regular-languages  terminology  finite-automata  history 

Wikipedia와 내가 찾은 다른 소스 void는 빈 유형이 아닌 C 유형을 단위 유형으로 나열 합니다. 나는 void빈 / 하단 유형의 정의에 더 잘 맞는 것처럼 혼란 스럽습니다 . void내가 알 수있는 한 값이 없습니다 . 반환 유형이 void 인 함수는 함수가 아무것도 반환하지 않으므로 일부 부작용 만 수행 할 수 …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

튜링 머신에 대한 프레젠테이션을 진행하고 있으며 튜링 머신을 소개하기 전에 FSM에 대한 배경 지식을 제공하고자했습니다. 문제는, 나는 정말로 서로 다른 것이 무엇인지 정말로 모른다는 것입니다. 다른 점은 다음과 같습니다. FSM은 튜링 머신이 읽고 쓰는 헤드가있는 무한 "테이프"에서 작동하는 동안 충족 된 해당 조건에 따라 순차적 인 상태를 갖습니다. FSM에는 끝나지 …

27 terminology  turing-machines  finite-automata  machine-models 

이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Stack Overflow에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 정규 표현식을 가져와 구문 분석 트리를 생성하기 위해 간단한 정규 표현식 lexer 및 구문 분석기를 작성했습니다. 이 구문 분석 트리에서 비 결정적 유한 상태 오토 마톤을 작성하는 것은 기본 정규 …

26 automata  finite-automata  regular-expressions 

우리는 DFA가 표현력면에서 NFA와 동등하다는 것을 알고 있습니다. NFA를 DFA로 변환하는 알려진 알고리즘도 있습니다 (불행히도 이제는 해당 알고리즘의 발명자를 알고 있습니다). 최악의 경우 NFA에 상태 가있는 경우 상태가됩니다 . S2S2S2^SSSS 내 질문은 : 최악의 시나리오를 결정하는 것은 무엇입니까? 다음은 모호한 경우 알고리즘의 전사입니다. 하자 NFA 될. 여기서 DFA .A ′ …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

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

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

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

20 automata  finite-automata  nondeterminism 

허락하다 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 

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

17 automata  finite-automata 

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

16 terminology  automata  finite-automata 

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

16 formal-languages  automata  finite-automata