격자 언어의 양극성 다양체와 유한 순서 모노이드

초록

이 논문은 격자값을 갖는 정규 언어(격자 언어)를 대상으로, 합·교(∨,∧), 왼·오른쪽 몫, 역동형을 닫는 ‘양극성 다양체’를 정의하고, 이를 유한 순서 모노이드의 의사다양체와 일대일 대응시킨다. 또한 이 프레임워크를 유한 상태 마코프 체인에 적용하는 가능성을 제시한다.

상세 분석

논문은 기존의 부울 언어 이론을 격자값 언어로 일반화한다는 점에서 의미가 크다. 격자 Λ가 완전하고 비자명하다고 가정하고, Λ‑언어 L: Σ* → Λ를 ‘op‑coloring’이라는 관점에서 바라본다. 여기서 op‑coloring은 순서 모노이드 (M,≤) 위의 순서 보존 사상 P: M → Λ이며, 전통적인 ‘수용 상태 집합’을 Λ‑값으로 확장한다. 저자는 이 구조를 이용해 합(∨)·교(∧)·좌·우 몫·역동형을 자연스럽게 정의하고, 이러한 연산이 모두 유한 순서 모노이드에 의해 인식될 수 있음을 정리 1·2를 통해 증명한다.

핵심 기술은 ‘syntactic ordered monoid’의 정의이다. 기존 언어 이론에서의 syntactic monoid를 순서 관계 ⪯L 로 확장해 ≃L 동치류를 만든 뒤, M_L = Σ*/≃L 를 순서 모노이드로 만든다. 이때 순서는 L(uwv) ≤ L(uw’v) 로 정의되며, 이는 격자값의 비교를 통해 자연스럽게 순서를 부여한다. 결과적으로 M_L은 L을 인식하는 최소(최소 순서) 모노이드가 된다.

양극성 다양체(positive variety)의 정의에 Λ‑morphism(Λ → Λ)의 폐쇄성을 추가한 것이 중요한 기여이다. 저자는 Λ‑morphism이 없으면 상수 색칠 언어들의 다양체가 동일한 의사다양체(오직 자명 모노이드)와 대응해 일대다 관계가 발생함을 예시(Cons와 B)로 보여준다. 따라서 Λ‑morphism을 포함함으로써 ‘언어 수준’에서 격자 구조를 완전히 반영하고, 의사다양체와 정확히 일대일 대응하도록 만든다.

정리 3에서는 양극성 다양체와 유한 순서 모노이드의 의사다양체 사이에 ‘Eilenberg 대응’이 성립함을 증명한다. 여기서 ‘자연 대응’은 언어 클래스 V와 그에 대응하는 모노이드 클래스 𝔐 사이에 V = { L | syntactic ordered monoid of L ∈ 𝔐 } 와 𝔐 = { M | 모든 L이 M에 의해 인식되는 경우 } 로 정의된다.

마지막으로, 저자는 격자 언어와 순서 모노이드를 이용해 유한 상태 마코프 체인의 전이 구조를 대수적으로 모델링할 가능성을 제시한다. 격자값은 상태별 확률분포(예: