[논문 리뷰] Some Combinatorial Operators in Language Theory

Jean-Gabriel Luque, Ludovic Mignot외 1명|arXiv (Cornell University)|2012. 05. 15.

semigroups and automata theory참고 문헌 9인용 수 3

한 줄 요약

이 논문은 형식 언어 이론에서 다중틸드 연산자를 연구하기 위해 작동적 프레임워크를 도입하며, 그들의 조합과 언어 위에서의 작용에 대한 대수적 기초를 제공한다. 다중틸드를 자유 작동의 원소로 모델링함으로써, 저자들은 부울 벡터, 부분 순서, 조합 구조와의 연결을 수립하여 동치가 아닌 연산자의 수를 세고, 유한 및 정규 언어의 새로운 표현 방식을 연산자 작용을 통해 제공한다.

ABSTRACT

Multitildes are regular operators that were introduced by Caron et al. in order to increase the number of Glushkov automata. In this paper, we study the family of the multitilde operators from an algebraic point of view using the notion of operad. This leads to a combinatorial description of already known results as well as new results on compositions, actions and enumerations.

연구 동기 및 목표

• 정규 표현식 이론에서 사용되는 다중틸드 연산자의 대수적, 작동적 특성화를 제공하기 위해.
• 작동 이론을 사용하여 다중틸드 연산자의 조합과 언어 위에서의 작용을 형식화하기 위해.
• 부분 순서와 관계를 통해 다중틸드 연산자의 동치가 아닌 조합을 수학적으로 세기 위해.
• 스타 연산자를 포함시키고, 문자 튜플 위에서 연산자 작용을 통해 정규 언어를 표현하기 위해.
• 작동을 사용한 형식 언어 이론의 새로운 조합적 접근법의 기초를 마련하기 위해.

제안 방법

• 다중틸드 연산자를 부분 조합 연산을 사용하여 그 대수적 구조를 표현하는 자유 작동의 원소로 모델링하기 위해.
• 다중틸드가 언어 위에서 작용하는 방식을 특성 함수를 통해 기술하기 위해 부울 벡터의 작동을 도입하기 위해.
• 연산자 작용의 동치를 모델링하기 위해 다중틸드 작동의 몫 작동을 구성하기 위해.
• 다중틸드 작용의 동치를 형식화하고 표현의 유일성을 보장하기 위해 부분 순서 기반의 작동(POSet)을 정의하기 위해.
• 자유 리스트와 접두사 닫힘 구조를 사용하여 다중틸드가 k개 언어 튜플 위에서 작용하는 방식을 분석하기 위해.
• 작동을 스타 연산자를 포함하도록 확장하여, 그 작용을 클리니 스타로 정의하고, 항등식 $\star \circ \star \equiv \star$ 에 대해 몫을 취하기 위해.

실험 결과

연구 질문

• RQ1 다중틸드 연산자의 조합은 어떻게 작동 이론을 사용하여 대수적으로 형식화할 수 있는가?
• RQ2 다중틸드 연산자의 언어 위에서의 작용은 무엇이며, 이를 어떻게 부울 벡터를 통해 표현할 수 있는가?
• RQ3 두 다중틸드 연산자가 어떻게 동치로 간주될 수 있으며, 이러한 동치를 포괄하는 조합 구조는 무엇인가?
• RQ4 동치가 아닌 다중틸드 연산자의 수를 세는 것이 가능한가, 그리고 그 뒤에 숨은 조합론은 무엇인가?
• RQ5 정규 언어는 어떻게 문자 튜플 위에서 확장된 다중틸드 연산자의 작용으로 표현할 수 있는가?

주요 결과

• 다중틸드 연산자는 자유 작동을 이루며, 그들의 조합과 대수적 성질에 대한 체계적인 연구를 가능하게 한다.
• 언어 위에서의 다중틸드 작용은 부울 벡터 작동의 작용과 동형이며, 선형 대수적 해석을 제공한다.
• 부분 순서 기반의 작동 POSet≤는 다중틸드 작용의 완전하고 최적의 표현을 제공하며, 모든 동치가 아닌 연산자를 구분한다.
• 두 다중틸드가 모든 k개 언어 튜플 위에서 동일한 작용을 하면, 그들 간에 POSet≤ 구조에 대해 동치여야 한다.
• k개 언어 위에서의 동치가 아닌 다중틸드 연산자의 수는 POSet≤ 내의 서로 다른 부분 순서 집합의 수와 같으며, 이를 통해 전체적인 수를 세는 것이 가능하다.
• 모든 정규 언어는 $T^\star$의 몫 작동의 원소가 문자 튜플 위에서 작용한 결과로 표현될 수 있으며, 스타 연산자는 $\star \circ \star \equiv \star$ 를 만족한다.