«automata» 태그된 질문

선형 시간 논리 와 결정 론적 Büchi automata 는 비교할 수 없습니다. DBA는 표현할 수 없으며 LTL은 "최소한 홀수 문자는 'a'"를 표현할 수 없습니다 . 그러나 때로는 DBA의 언어가 LTL로 표현 될 수 있는지를 아는 것이 흥미 롭습니다.에프G의FGaFGa 주어진 DBA의 언어가 LTL에서 설명 가능한지 여부를 결정하는 알고리즘이 필요합니다. 그것에 대한 …

10 logic  automata  linear-temporal-logic  buchi-automata 

문제는 제목에 거의 있습니다. 일부 언어 시간 적이 있습니까 가진 최소한의 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 

다음과 같은 정리가 있습니다. 유한 상태 오토 마톤 엔엔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 

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

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