언어에 DFA가 두 개 이상있을 수 있습니까?


17

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

여기에 이미지 설명을 입력하십시오

답변:


37

우선, 왼쪽 DFA가 잘못되었습니다 (예 : 011).

둘째, DFA는 정식으로 최소화 될 수 있으므로 특정 언어에 대해 하나의 정식 DFA를 항상 찾을 수 있습니다.

그러나 일반적으로 모든 언어에 대해 무한히 많은 DFA가 있으므로 다른 정답을 얻을 수 있습니다.


그리고 그것은 심지어 동형에 이르기까지 무한히 많습니다.
G. 바흐

. 우리가 그것을 고치지 않으면, 오토마타의 수집은 설정되지도 않습니다 ... 어떻게 든 이것이 OP의 의도라고 생각하지 않습니다 :)
Shaull

유한 한 언어에 대해서도 무한히 많은 DFA가 있습니까?
Bergi

1
@Bergi : 물론-원하는만큼 중복 상태를 추가 할 수 있습니다. 이것은 "바보 같은"소리를 낼 수 있으며, 오토 마톤을 직접 만들 때 실제로 의미가 없습니다. 그러나 여러 번 automata는 다른 형식 (예 : NFA 결정)을 번역하여 구성되며,이 경우 중복 상태가 발생할 가능성이 높습니다.
Shaull

@Shaull : ε 전환 또는 도달 할 수없는 상태를 의미합니까? 좋아, 나는 그것들을 고려하지 않았다.
Bergi
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.