정규 ω-언어 인식기를 위한 간결한 특성 샘플 구축

정규 ω-언어 인식기 중 다항식 크기의 특성 샘플을 가지는 것은 무엇이며, 이를 다항식 시간에 구축할 수 있는 방법이 제시된다.