정규 언어를 인식하는 고차원 자동 기계에 대한 Myhill-Nerode 정리

고차원 자동 기계(HDA)에 대한 Myhill-Nerode 정리를 제시한다. 언어가 정규 언어이기 위한 필요충분조건은 유한한 접두사 몫을 가지는 것이다.