«nondeterminism» 태그된 질문

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

10 automata  finite-automata  proof-techniques  nondeterminism 

내 교과서는 말합니다 : "우리는 함수를 정의합니다 f:N→Nf:N→Nf\colon \mathbb{N}\to\mathbb{N} 다음과 같이 : f(1)=2f(1)=2f(1)=2 과 f(i+1)=2f(i)1.2f(i+1)=2f(i)1.2f(i+1)=2^{f(i)^{1.2}}. 주어진 참고nnn우리는 쉽게 찾을 수 있습니다 O(n1.5)O(n1.5)O(n^{1.5}) 숫자를 시간 iii 그런 nnn 사이에 끼어있다 f(i)f(i)f(i) 과 f(i+1)f(i+1)f(i+1)" 우리가 실제로 쉽게 찾을 수 있다고 스스로를 설득하는 방법 iii 에 O(n1.5)O(n1.5)O(n^{1.5})시각? 같이fff 재귀 적으로 정의됩니다. 우리는 계산해야한다고 …

10 complexity-theory  algorithm-analysis  nondeterminism 

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

9 regular-languages  finite-automata  nondeterminism 

입력 문자열을 다음과 같이 지정하십시오. 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 

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

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