간차원 자동화 기계의 논리와 언어

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