태그 보관물: fl.formal-languages

fl.formal-languages

비 동형 최소 비 결정적 유한 오토마타 개의 동등한 (동일한 언어를

누군가 동형이 아닌 2 개의 동등한 (동일한 언어를 인식하는) 최소 비 결정적 오토마타 (NFA)의 예를 제공 할 수 있습니까?

논문 참조 (postscript)

아놀드, 디키, 니 바트 비 결정적 오토마타 최소화에 대한 참고 사항

$L_{6}$

L_{6}

$L_6$ $a^{n}$

a^{n}

$a^n$ $n$

n

$n$

그중 하나는 기본적으로 최소 DFA이고 다른 하나는 2의 배수가 아니거나 3의 배수가 아닌지 추측합니다.