이 논문은 정규 언어의 속성을 이해하기 위해 방향성 그래프 에뮬레이터와 자동 관계를 정의하고 분석한다.
먼저 방향성 그래프 에뮬레이터와 자동 관계의 기본 정의와 성질을 살펴본다. 방향성 그래프 에뮬레이터는 그래프 에피모피즘이며, 방향성 그래프 커버는 에뮬레이터의 특별한 경우이다. 자동 관계는 방향성 그래프 에뮬레이터와 밀접한 관련이 있다.
다음으로 정규 언어와 그래프의 관계를 살펴본다. 정규 언어의 속성은 최소 결정론적 유한 자동 기계의 기저 그래프의 속성과 동치임을 보인다. 특히 정규 언어의 속성은 방향성 그래프 에뮬레이터와 방향성 그래프 커버의 속성과 동치임을 보인다. 이는 정규 언어의 속성 문제와 방향성 그래프의 속성 문제가 동치임을 의미한다.
마지막으로 방향성 그래프 에뮬레이터 문제의 해결이 비방향성 그래프 에뮬레이터 문제의 해결을 함축함을 보인다.
To Another Language
from source content
arxiv.org
Głębsze pytania