«finite-automata» 태그된 질문

또는 하나의 NFA가 허용하는 문자열 집합을 적어도 생성하여 다른 NFA에 공급할 수 있습니다. NFA의 모든 경로를 검색하면 효과가 있습니까? 시간이 오래 걸리지 만

10 algorithms  regular-languages  finite-automata 

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

10 automata  finite-automata  artificial-intelligence 

문제는 제목에 거의 있습니다. 일부 언어 시간 적이 있습니까 가진 최소한의 DFA에 의해 받아 들여질 수 상태,하지만 의 반전 ,와 DFA에 의해 받아 들여질 수 상태, ?엘엘L엔엔n엘아르 자형엘아르 자형L^R엘엘L미디엄미디엄mm &lt; n미디엄&lt;엔m<n

10 formal-languages  reference-request  automata  finite-automata 

동등한 NFA에 상태 가있는 상태 가있는 DFA의 예를 작성하려면 어떻게해야합니까 ? 분명히 DFA의 상태 세트에는 NFA 상태 세트의 모든 하위 세트가 포함되어야하지만 시작 방법을 모르겠습니다. 올바른 길로 안내해 줄 제안이 있습니까?2n2n2^nnnn

10 automata  finite-automata 

나는 Sipser Book (2 판)을 통해 작업하고 있으며이 예제를 보았습니다. 이 책에서는이 NFA가 빈 문자열 허용한다고 명시하고 있습니다.ϵϵ\epsilon 이것이 왜 그런지 누군가가 나를 안내 할 수 있습니까? 내 이해는 이 수락 상태가 아닌 로 이동한다는 것 입니다.ϵϵ\epsilonq3q3q_3

9 regular-languages  finite-automata  nondeterminism 

다음과 같은 정리가 있습니다. 유한 상태 오토 마톤 엔엔n 문자열이있는 경우 상태 승승w 길이가 만족하는 사람 n ≤ | 승 | ≤ 2 n - 1엔≤|승|≤2엔−1n \leq |w| \leq 2n-1 그러면 오토 마톤이 받아 들인 언어는 무한합니다. 나는 제약을 이해한다 | 승 | ≥N|승|≥엔|w| \geq n하지만 제약 조건이 왜 이해가 …

9 automata  finite-automata 

DFA, NFA 및 엡실론 NFA를 사용하면 특정 정규 언어를 대표 할 수 있습니다. 이러한 표현 중 하나를 사용하여 동일한 정규 표현식에 도달 할 수 있는데, 왜 유한 오토마타의 세 가지 표현 방식을 모두 연구해야합니까? DFA가 할 수없는 NFA가 무엇을 할 수 있는지에 대한 설명이있을 수 있습니다. 즉 NFA는 불확실성 설계에 …

9 automata  finite-automata  education 

이진수를 나눌 수있는 DFA를 nnn. 예를 들어 2로 나눌 수있는 이진수를 허용하는 DFA는 다음과 같이 구성 할 수 있습니다. 마찬가지로 3으로 나눌 수있는 이진수를 받아들이는 DFA는 다음과 같이 구성 될 수 있습니다. 잘 정의 된 절차에 따라 이러한 유형의 DFA를 구성 할 수 있습니다. 그러나 많은 수의 양식을 받아들이는 DFA를 …

9 regular-languages  automata  finite-automata  regular-expressions 

입력 문자열을 다음과 같이 지정하십시오. w1w2...wnw1w2...wnw_1w_2...w_n. 그런 다음 NFA가 현재 상태 인 경우rrr (그리고 알파벳까지의 입력을 읽었습니다. wiwiw_i ) 다음 입력 기호를 읽기 전에 NFA는 두 개의 NFA로 분할되고 하나는 상태입니다. rrr 그리고 다른 존재 sss유형의 전환이있는 경우 r→ϵsr→ϵsr \xrightarrow{\epsilon} s. 유형의주기가있는 경우r→ϵs→ϵq1....→ϵqk→ϵrr→ϵs→ϵq1....→ϵqk→ϵrr \xrightarrow{\epsilon} s \xrightarrow{\epsilon} q_1....\xrightarrow{\epsilon} q_k \xrightarrow{\epsilon} r, …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

학부 수업에서 유한 테이프를 가진 튜링 머신의 경우 항상 해당 유한 상태 오토마타가 존재하지만 인터넷의 어느 곳에서나 확인 된 것을 찾을 수 없었습니다. 이것이 사실입니까, 아니면 내가 잘못 기억하고 있습니까?

9 turing-machines  finite-automata 

임의의 DFA를 생성하여 DFA 감소 알고리즘을 테스트하고 있습니다. 다음과 같이 내가 지금 사용하고 있다는 알고리즘은 각 상태에 대한 , 알파벳의 각 심볼에 대해 , 추가 어떤 임의의 상태로. 각 상태는 최종 상태가 될 확률이 동일합니다.큐큐q씨씨cδ( q, C )δ(큐,씨)\delta (q, c) 이것이 편향되지 않은 DFA를 생성하는 좋은 방법입니까? 또한이 알고리즘은 트림 …

9 algorithms  finite-automata  randomness  pseudo-random-generators  random-graphs 

최근 에 Math SE에 대해 질문 했습니다. 아직 응답이 없습니다. 이 질문은 그 질문과 관련이 있지만 컴퓨터 과학에 대한 더 많은 기술적 세부 사항입니다. 두 개의 DFA가 주어짐 A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) 과 B=(Q,Σ,δ,q2,F2)B=(Q,Σ,δ,q2,F2)B = (Q, \Sigma, \delta, q_2, F_2) 여기서 상태 집합, 입력 알파벳 및 전환 …

9 formal-languages  reference-request  finite-automata 

다음 연습 문제를 해결해야합니다. 만약 에 문맥이없고 이 규칙적이라면 (즉, 오른쪽 몫 )은 문맥이 없습니다.엘LL아르 자형RRL / R = { w ∣ ∃ x ∈ R성w x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} 을 허용하는 PDA 와 을 허용하는 …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

Hopcroft와 Ullman 의 책을 사용하여 비 결정적 오토마타를 연구하기 시작했습니다 . 매우 흥미로운 문제에 갇혀 있습니다. 다음 표에 따라 곱하여 왼쪽에서 오른쪽으로 오른쪽에서 왼쪽으로 평가할 때 동일한 값을 갖는 모든 문자열을 허용하는 비 결정적 유한 자동 오토 마톤을 제공하십시오. ×ㅏ비씨ㅏㅏ씨비비ㅏㅏ씨씨씨비ㅏ×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a & b & c \\ \hline …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism