核心概念
유한 상태 자동 기계로 방향성 비순환 그래프(DAG)를 인식할 수 있는 새로운 정규성 개념을 제시한다.
要約
이 논문은 문자열 언어에 대해 잘 알려진 정규성 개념을 그래프 언어로 확장하는 방법을 제안한다. 기존의 정규 DAG 언어는 문자열 언어의 정규성 개념보다 더 강력하고 복잡하다. 이에 저자는 유한 상태 자동 기계로 인식할 수 있는 새로운 DAG 언어 클래스를 정의한다.
주요 내용은 다음과 같다:
기존 정규 DAG 언어 계층을 세분화하여 유한 상태 자동 기계로 인식 가능한 새로운 DAG 언어 클래스 FID를 제안한다.
FID 클래스는 기존 결정적 DAG 언어 클래스의 부분집합이며, 결정적 DAG 언어 클래스의 부분집합인 FID 클래스에 대해 고전적인 결정적 유한 상태 자동 기계를 구축할 수 있다.
FID 클래스는 합집합과 교집합에 대해 닫혀 있어, 최소화 및 하이퍼 최소화 알고리즘을 적용할 수 있다.
유한 상태 자동 기계로 인식 가능한 DAG 언어 클래스와 그렇지 않은 클래스를 구분하는 특성을 제공한다.
統計
정규 DAG 언어의 멤버십 문제는 NP-완전이다.
결정적 DAG 언어 클래스는 정규 DAG 언어 클래스의 부분집합이다.
제안된 FID 클래스는 결정적 DAG 언어 클래스의 부분집합이다.
引用
"정규 DAG 언어는 문자열 언어의 정규성 개념보다 더 강력하고 복잡하다."
"제안된 FID 클래스는 합집합과 교집합에 대해 닫혀 있어, 최소화 및 하이퍼 최소화 알고리즘을 적용할 수 있다."