[논문 리뷰] The Distinguishability Operation On Regular Languages

Cezar Câmpeanu, Nelma Moreira외 1명|arXiv (Cornell University)|2014. 01. 01.

semigroups and automata theory인용 수 3

한 줄 요약

이 논문은 정규 언어에서 왼쪽 몫을 구분하는 데 사용되는 구분 가능성 연산을 도입하고 분석한다. 이 연산은 언어 L의 왼쪽 몫을 구분하는 단어를 식별한다. 이 연산이 항상 고정점을 도달함을 증명하고, 최소 구분 단어의 수에 대해 n−1의 상한을 설정하며, 이는 상태 복잡도가 n일 때 정확히 달성됨을 보이고, 닫힘 연산자와 부울 연산자를 사용하여 이 연산을 일반화한다.

ABSTRACT

In this paper we study the language of the words that, for a given language L, distinguish between pairs of different left-quotients of L. We characterize this distinguishability operation, show that its iteration has always a fixed point, and we generalize this result to operations derived from closure operators and Boolean operators. We give an upper bound for the state complexity of the distinguishability, and prove its tightness. We show that the set of minimal words that can be used to distinguish between different quotients of a language L has at most n - 1 elements, where n is the state complexity of L, and we also study the properties of its iteration.

연구 동기 및 목표

• 정규 언어의 서로 다른 왼쪽 몫을 구분하는 단어를 식별하는 구분 가능성 연산을 정의하고 특성화하는 것.
• 정규 언어에 대해 반복 적용된 구분 가능성 연산의 고정점 행동을 조사하는 것.
• 모든 서로 다른 몫을 구분하기 위해 필요한 최대 수의 최소 단어 수를 결정하는 것.
• 닫힘 연산자와 부울 연산을 사용하여 구분 가능성 연산을 일반화하는 것.
• 구분 가능성 연산의 상태 복잡도에 대해 정확한 상한을 설정하는 것.

제안 방법

• 언어 L의 서로 다른 왼쪽 몫을 분리하는 단어의 집합으로서의 구분 가능성 연산 정의.
• 몫 자동화와 상태 복잡도 분석을 사용하여 구분 가능성 언어의 크기를 제한하는 것.
• 닫힘 연산자와 부울 연산을 적용하여 구분 가능성 구성의 일반화.
• 구분 가능성 연산의 반복적 적용을 구성하고 고정점으로 수렴함을 증명하는 것.
• 조합론적 추론과 자동화 구성 기법을 사용하여 최소 구분 단어의 수에 대한 정확한 상한을 도출하는 것.
• 몫 쌍을 구분하는 최소 단어의 구조를 분석하여, 상태 복잡도가 n인 언어에 대해 최대 n−1개의 그러한 단어가 존재함을 보이는 것.

실험 결과

연구 질문

• RQ1 정규 언어에서의 구분 가능성 연산의 구조와 행동은 어떠한가?
• RQ2 구분 가능성 연산을 반복 적용할 경우 항상 고정점으로 수렴하는가?
• RQ3 정규 언어의 모든 서로 다른 몫을 구분하기 위해 필요한 최대 수의 최소 단어는 몇 개인가?
• RQ4 닫힘 연산자와 부울 연산에 의해 구분 가능성 연산은 어떻게 일반화되는가?
• RQ5 구분 가능성 연산의 정확한 상태 복잡도 상한은 무엇인가?

주요 결과

• 구분 가능성 연산은 입력 언어에 관계없이 반복 적용 시 항상 고정점을 도달한다.
• 모든 서로 다른 몫을 구분하기 위해 필요한 최소 단어의 수는 언어의 상태 복잡도 n에 대해 최대 n−1개이다.
• 이 최대 상한 n−1개의 최소 구분 단어는 일치하는 예제를 구성함으로써 정확히 달성됨을 보여준다.
• 구분 가능성 연산의 상태 복잡도는 n−1 이하로 제한되며, 이 상한은 달성 가능하다.
• 이 연산은 닫힘 연산자와 부울 연산으로 자연스럽게 일반화되며, 고정점 수렴 성질을 유지한다.
• 구분 가능성 연산의 고정점은 언어의 몫 구조에 대한 표준형에 해당한다.