유한 상태 자동 기계로 그래프 인식하기: 새로운 정규성 개념

유한 상태 자동 기계로 방향성 비순환 그래프(DAG)를 인식할 수 있는 새로운 정규성 개념을 제시한다.