[논문 리뷰] A Congruence-based Perspective on Automata Minimization Algorithms

Pierre Ganty, Elena Gutiérrez외 1명|arXiv (Cornell University)|2019. 01. 01.

semigroups and automata theory참고 문헌 14인용 수 2

한 줄 요약

이 논문은 단어에 대한 동치관계를 분석함으로써 고전적인 유한오ート마타 최소화 알고리즘—Hopcroft의 알고리즘, Moore의 알고리즘, Brzozowski의 이중역순 방법—을 통합하고 재해석하는 동치기반 프레임워크를 제안한다. 상태 분할 정렬을 통한 최소화와 이중역순을 통한 결정성 부여가 동일한 기초 원리의 이중적 사례임을 규명한다: 오른쪽 또는 왼쪽 동치관계로부터 오ート마타를 구성하는 것. 주요 기여는 결정성 부여가 최소 DFA를 산출하기 위한 필수 및 필요조건을 제시하는 것으로, 이는 Nerode 동치관계와 오른쪽 및 왼쪽 동치관계 간의 이중성 관점에서 이질적으로 보였던 이러한 방법들을 통합한다.

ABSTRACT

In this work we use a framework of finite-state automata constructions based on equivalences over words to provide new insights on the relation between well-known methods for computing the minimal deterministic automaton of a language.

연구 동기 및 목표

• Hopcroft의 알고리즘, Moore의 알고리즘, Brzozowski의 알고리즘과 같은 유사하게 다를 것 같았던 오르세미티카 최소화 알고리즘들을 단일 이론적 프레임워크 아래 통합하기.
• 상태 분할 정렬(예: Moore의 알고리즘 및 Hopcroft의 알고리즘)과 이중역순 방법 사이의 개념적 관계를 명확히 하기.
• 언어 기반 및 오르세미티카 기반의 단어에 대한 동치관계와 그에 따른 오르세미티카 구성 간의 관계를 체계화하기.
• 결정성 부여가 최소 DFA를 산출하기 위한 필수 및 필요조건을 동치관계 이론에 기반하여 설정하기.
• Brzozowski와 Tamm의 átomaton 및 부분 átomaton 구성법과 제안된 동치기반 오르세미티카 구성법 간의 관계를 규명하기.

제안 방법

• 연결과 호환되는 단어에 대한 오른쪽 및 왼쪽 동치관계를 정의하고, Σ* 위에 유한 분할을 유도한다.
• 이러한 동치관계로부터 오르세미티카를 구성한다: 언어 기반 동치관계는 최소 결정성 또는 코-결정성 오르세미티카를 산출하고, 오르세미티카 기반 동치관계는 입력 NFA의 결정화 또는 코-결정화된 형태를 산출한다.
• 오른쪽 및 왼쪽 동치관계 간의 이중성을 활용하여 최소화 및 결정성 부여 연산 간의 관계를 규명한다.
• 결정성 부여가 최소 DFA를 산출하기 위한 필요 및 충분조건(정리 16)을 제시한다. 이 조건은 오르세미티카가 역순 처리 후 코-결정성이 되어야 한다는 것이다.
• 이 프레임워크를 활용하여 Brzozowski의 이중역순 방법과 Brzozowski 및 Tamm의 일반화를 재유도하고 재해석한다.
• áтом톤 및 부분 á톰톤과 Detℓ 및 Minℓ 연산으로 유도된 구성 간의 동형관계를 설정한다.

실험 결과

연구 질문

• RQ1 어떻게 고전적인 오르세미티카 최소화 알고리즘들을 단어 동치관계에 기반한 단일 이론적 프레임워크 아래 통합할 수 있는가?
• RQ2 공-결정성 NFA를 결정화했을 때 최소 DFA를 산출하기 위한 정확한 조건은 무엇인가?
• RQ3 언어 기반 및 오르세미티카 기반의 동치관계는 상호 간에 어떻게 관련되어 있으며, Nerode 동치관계와 어떻게 연결되는가?
• RQ4 이중역순 방법과 Moore의 알고리즘 및 Hopcroft의 알고리즘과 같은 상태 분할 정렬 알고리즘 간의 관계는 무엇인가?
• RQ5 á톰톤 및 부분 á톰톤 구성법은 제안된 동치기반 오르세미티카 구성법과 어떻게 관련되는가?

주요 결과

• 논문은 결정성 부여가 최소 DFA를 산출하기 위한 필수 및 필요조건(정리 16)을 규명한다: 입력 NFA는 역순 처리 후 공-결정성이어야 한다.
• 이중역순 방법은 일반 프레임워크의 특수한 경우로 밝혀지며, 이는 공-결정성 NFA의 결정성 부여가 최소 DFA를 산출한다는 점을 보여준다.
• Moore의 알고리즘과 Hopcroft의 알고리즘은 오른쪽 Nerode 분할을 반복적으로 정렬하는 것으로 해석되며, Moore의 알고리즘은 최대 고정점 반복에 해당한다.
• 언어 L의 á톰톤은 Detℓ(N_DM)과 Minℓ(L) 양쪽 모두와 동형이다. 여기서 N_DM은 L에 대한 최소 DFA이다.
• NFA N의 부분 á톰톤은 Detℓ(N)과 동형이며, Brzozowski와 Tamm의 구성법과 제안된 프레임워크 사이의 직접적 연결 고리를 확립한다.
• 오른쪽 및 왼쪽 동치관계 간의 이중성은 최소화와 결정성 부여 간의 대칭성을 설명하며, 이중역순 방법과 분할 정렬 접근법을 통합한다.