비동기 자동자 언어의 닫힘성 연구

초록

본 논문은 n-테이프 동기식 유한 상태 자동자와 비동기식 자동자를 구분하여, 각각 정규, 준정규, 약정규 언어 클래스를 정의한다. 이러한 클래스가 1차 논리 연산(합, 교, 여집합, 존재·보편 양화) 아래에서 어떤 닫힘성을 보이는지 체계적으로 조사하고, 특히 비동기식 비결정론적 자동자(약정규)에서 발생하는 한계와 그로 인한 자동군 이론의 미해결 결정 문제와의 연관성을 제시한다.

상세 분석

논문은 먼저 (A*)ⁿ 형태의 n-변수 언어 L에 대해 세 가지 정규성 개념을 명확히 구분한다. 동기식 n-테이프 자동자는 모든 테이프가 동일한 속도로 읽히는 제한을 두어, 전통적인 다중테이프 정규 언어와 동등함을 보인다. 반면 비동기식 자동자는 각 테이프가 독립적으로 움직일 수 있어, 동기식보다 더 넓은 언어 집합을 포착한다. 여기서 ‘준정규’는 결정적 비동기식 자동자에 의해 인식되는 언어를 의미하고, ‘약정규’는 비결정론적 비동기식 자동자에 의해 인식되는 언어를 의미한다.

다음으로 저자는 1차 논리 연산에 대한 닫힘성을 단계별로 검증한다. 합(∪)과 교(∩)에 대해서는 세 클래스 모두 닫혀 있음을 보이는데, 특히 비동기식 자동자의 경우 독립적인 테이프 이동을 동기화하는 기술을 이용해 두 자동자를 병합하거나 교차시킬 수 있음을 증명한다. 반면 여집합(¬) 연산에서는 차이가 발생한다. 결정적 동기식 자동자는 정규 언어가 닫혀 있지만, 결정적 비동기식 자동자는 일반적으로 여집합을 유지하지 못한다. 저자는 구체적인 반례를 들어, 특정 비동기식 언어 L이 그 여집합을 비동기식 결정 자동자로 인식할 수 없음을 보여준다.

존재 양화(∃)와 보편 양화(∀)에 대해서는 보다 복잡한 논의가 전개된다. 존재 양화는 변수 하나를 제거하면서도 언어가 여전히 비동기식 자동자에 의해 인식될 수 있음을 요구한다. 저자는 ‘프로젝션’ 연산이 비동기식 결정 자동자에서는 닫히지 않지만, 비결정론적 비동기식 자동자(약정규)에서는 닫힌다는 중요한 결과를 제시한다. 이는 비결정론이 프로젝션을 구현하는 데 필요한 ‘선택’ 메커니즘을 제공하기 때문이다. 보편 양화는 존재 양화와 대조적으로, 언어의 보완을 요구하므로 약정규 클래스에서도 일반적으로 닫히지 않는다.

마지막으로, 이러한 닫힘성 결과를 자동군 이론에 적용한다. 자동군은 그룹 연산이 자동적으로 인식되는 경우를 말하는데, 특히 ‘동시 자동군’과 ‘비동기 자동군’ 사이의 구분이 핵심이다. 저자는 약정규 언어가 그룹의 곱셈 표를 표현할 때 발생하는 결정 문제—즉, 주어진 언어가 실제로 그룹 연산을 만족하는지 여부—가 아직 해결되지 않은 열린 문제임을 강조한다. 비동기식 비결정론이 이 문제에 새로운 접근법을 제공할 가능성을 제시하면서, 향후 연구 방향을 제시한다.