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