간차원 자동화 기계의 언어 이론

간차원 자동화 기계의 언어는 단일 논리 정의로 표현할 수 있으며, 이는 유한 폭 제한과 하향 폐쇄 조건을 만족한다.