«minimization» 태그된 질문

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

14 fl.formal-languages  automata-theory  nondeterminism  minimization 

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

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

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 …

9 automata-theory  minimization