유한 상태 자동기로 해결하는 반군집 단어 문제

초록

본 논문은 단어 문제가 유한 상태 자동화(FSA)로 결정 가능한 반군집(class of semigroups)을 정의하고, 이 성질이 생성자 교체, 직합, 직사상, 자유곱 등 기본 대수적 구성에 대해 불변임을 증명한다. 또한 이러한 반군집이 갖는 구조적 제약과 예시들을 제시하여, 자동화 가능한 단어 문제의 범위를 명확히 규정한다.

상세 분석

논문은 먼저 “자동화 가능 반군집”(automaton‑decidable semigroups)이라는 정의를 도입한다. 여기서 단어 문제는 주어진 두 단어가 동일한 원소를 나타내는지를 판별하는 문제이며, 이를 유한 상태 자동화가 인식하는 언어로 변환할 수 있으면 해당 반군집은 자동화 가능이라 부른다. 핵심은 이 정의가 선택한 생성집합에 의존하지 않는다는 점이다. 저자는 두 생성집합 (A)와 (B)에 대해 각각의 단어 문제 언어 (L_A, L_B)가 정규 언어이면, 서로 다른 자동화가 존재하더라도 동형 사상에 의해 정규성은 보존된다는 사실을, 정규 언어의 폐쇄성(교집합, 역이미지, 동형 사상 등)을 이용해 증명한다.

다음으로 기본 대수적 연산에 대한 불변성을 살핀다. 직합 (S\oplus T)의 경우, 각 성분의 단어 문제를 독립적인 자동화로 처리하고, 두 자동화를 병렬로 결합하면 전체 직합의 단어 문제를 인식하는 자동화를 얻는다. 이는 정규 언어의 직교곱이 다시 정규 언어가 되는 성질에 기반한다. 직사상(quotient)에서는 핵심이 동형 사상에 의해 정의된 동등류가 유한 개이며, 각 동등류를 대표하는 정규 언어를 구성함으로써 자동화 가능성을 유지한다. 자유곱의 경우, 저자는 “정규 교차”라는 개념을 도입해, 각 인자 반군집의 자동화가 서로 독립적으로 작동하도록 설계하고, 교차점에서 발생할 수 있는 비정규성을 차단한다.

구조적 측면에서는 자동화 가능 반군집이 반드시 유한 지연(finite delay) 혹은 유한 교환(finite commutation) 성질을 가져야 함을 보인다. 구체적으로, 임의의 두 원소 (x,y)에 대해 (xy)와 (yx)를 구분하는 언어가 정규가 되려면, (xy)와 (yx) 사이의 변환이 유한 단계 내에 이루어져야 한다는 것이다. 이로부터 반군집이 역원을 갖지 않거나, 멱등성이 제한된 형태로 나타나는 경우가 많다는 결론을 도출한다.

또한, 저자는 기존에 알려진 자동화 가능 군(group)과 반군집의 차이를 강조한다. 군에서는 역원의 존재가 정규성 유지에 큰 역할을 하지만, 반군집에서는 역원이 없으므로 대신 우측/좌측 cancellative 성질이 중요한데, 이 성질이 없으면 단어 문제 언어가 비정규가 될 위험이 있다.

마지막으로, 논문은 몇 가지 구체적 예시를 제시한다. 예를 들어, 전이 반군집(transition semigroups) of deterministic finite automata는 자동화 가능 반군집의 전형적인 사례이며, 유한 순열 반군집과 아벨리안 반군집도 조건을 만족한다. 반대로, 프리 반군집은 일반적으로 비정규 언어를 생성하므로 자동화 가능성이 없으며, 이는 자유 반군집이 갖는 복잡성을 강조한다. 전체적으로 이 논문은 자동화 가능성이라는 새로운 대수적 분류를 제시하고, 그 분류가 대수적 연산에 대해 견고하게 유지된다는 점을 체계적으로 증명함으로써, 형식 언어 이론과 대수학 사이의 교량을 놓는다.