«minimization» 태그된 질문

2
유한 언어에 대한 XOR 오토마타 (NXA)는주기의 이점을 제공합니까?
NXA (Non-deterministic Xor Automata)는 구문 상 NFA이지만 NFA의 경우 수용 경로 수가 홀수 인 경우 (NFA 경우 하나 이상의 허용 경로 대신) NXA에서 단어를 수락한다고합니다. 유한 한 정규 언어 , 어떤 주기도 포함하지 않는 최소 NFA가 존재 한다는 것을 쉽게 알 수 있습니다 (주기가 초기 상태에서 도달 할 수 있고 …

1
잔류 유한 상태 오토마타 최소화
잔여 유한 상태 오토마타 ([DLT02]에 정의 된 RFSA)는 DFA와 공통점이있는 NFA입니다. 특히 모든 정규 언어에 대해 표준 최소 크기의 RFSA가 항상 있으며 RFSA의 각 주에서 인식되는 언어는 DFA에서와 마찬가지로 잔류입니다. 그러나, 최소의 DFA 상태는 모든 잔차와 함께 약탈을 형성하지만, 정식 RFSA 상태는 주요 잔차와 함께 약화된다; 이들 중 기하 급수적으로는 …

2
Brzozowski의 DFA 최소화 알고리즘을 다른 등급의 수용 상태로 유한 한 오토마타로 일반화합니까?
DFA를 동등한 최소 상태 DFA로 변환하는 Brzozowski의 알고리즘은 매우 간단합니다. 만약 가 DFA 모든 모서리를 반전시켜 형성된 NFA를 나타내면 이전 시작 상태를 수락 상태로 만들고 이전 수락을 허용합니다. 상태가 시작 상태이고, 이 NFA 서브 세트 구성을 적용한 결과를 나타내는 경우 , 는 와 동일한 언어를 가진 최소 상태 DFA입니다 .R(D)R(D)R(D)DDDP(N)P(N)P(N)NNNP(R(P(R(D))))P(R(P(R(D))))P(R(P(R(D))))DDD …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.