المفاهيم الأساسية
고차원 자동 기계(HDA)에 대한 Myhill-Nerode 정리를 제시한다. 언어가 정규 언어이기 위한 필요충분조건은 유한한 접두사 몫을 가지는 것이다.
الملخص
이 논문에서는 고차원 자동 기계(HDA)에 대한 Myhill-Nerode 정리를 제시한다. HDA는 표준 자동 기계를 확장한 모델로, 병행성과 교차를 구분할 수 있다.
논문의 주요 내용은 다음과 같다:
HDA에 대한 Myhill-Nerode 정리를 제시한다. 언어가 정규 언어이기 위한 필요충분조건은 유한한 접두사 몫을 가지는 것이다.
결정적 HDA를 정의하고, 결정적 언어 중에는 결정적 HDA로 인식될 수 없는 언어가 존재함을 보인다. 결정적 언어에 대한 내부적 특성화를 개발한다.
인터페이스가 있는 HDA(iHDA)에 대한 Myhill-Nerode 구성과 결정성을 개발한다. iHDA는 구조적 이유로 존재해야 하는 부분을 제거할 수 있어, 보다 체계적인 Myhill-Nerode 구성이 가능하다.
الإحصائيات
고차원 자동 기계(HDA)는 표준 자동 기계를 확장한 모델로, 병행성과 교차를 구분할 수 있다.
언어가 정규 언어이기 위한 필요충분조건은 유한한 접두사 몫을 가지는 것이다.
결정적 언어 중에는 결정적 HDA로 인식될 수 없는 언어가 존재한다.
인터페이스가 있는 HDA(iHDA)를 이용하면 보다 체계적인 Myhill-Nerode 구성이 가능하다.
اقتباسات
"언어가 정규 언어이기 위한 필요충분조건은 유한한 접두사 몫을 가지는 것이다."
"결정적 언어 중에는 결정적 HDA로 인식될 수 없는 언어가 존재한다."
"iHDA를 이용하면 보다 체계적인 Myhill-Nerode 구성이 가능하다."