블라인드 카운터 자동자를 위한 와그너 계층의 효과적인 확장

초록

본 논문은 무한 단어를 뮐러 조건으로 인식하는 블라인드 카운터 자동자에 대해 와그너 계층을 효과적으로 확장한다. 계층의 각 레벨을 결정하는 알고리즘을 제시하고, 기존 ω‑정규 언어 계층과의 관계를 정확히 규명한다.

상세 분석

와그너 계층은 원래 ω‑정규 언어, 특히 결정적 마이어 자동자에 대해 정의된 복잡도 계층으로, 언어의 정규성·비정규성을 미세하게 구분한다. 이 논문은 이러한 계층을 블라인드 카운터 자동자(blind counter automata, BCA)로 확장한다는 점에서 혁신적이다. BCA는 스택 대신 하나의 무한 카운터를 사용하지만, 카운터의 현재 값에 대한 직접적인 검사 없이 전이만을 수행한다는 제약이 있다. 이러한 ‘블라인드’ 특성은 전통적인 푸시다운 자동자와는 다른 결정론적 구조를 만든다. 논문은 먼저 BCA에 대한 형식적 정의와 뮐러 수용 조건을 정리하고, 기존의 와그너 계층에서 사용되는 W‑set, W‑rank 개념을 BCA에 맞게 재구성한다. 핵심은 ‘카운터 변화 패턴’과 ‘무한 반복 구조’를 추적하여, 각 무한 단어가 어느 레벨에 속하는지를 판별할 수 있는 유한 상태 기계(automaton)와 카운터 연산의 조합을 설계하는 것이다. 저자는 이를 위해 ‘카운터 흐름 그래프(counter flow graph)’를 도입하고, 그래프의 강한 연결 성분과 순환 길이를 분석함으로써 레벨 구분 기준을 정의한다. 특히, 레벨 k 에 속하는 언어는 카운터 변화가 최대 k 번의 교차를 초과하지 않는 형태로 기술될 수 있음을 보인다. 이와 같은 구조적 특성은 기존 ω‑정규 언어에 대한 결정적 마이어 자동자와는 다른 복잡도 경계를 만든다. 논문은 또한 계층의 효과성을 입증하기 위해, 주어진 BCA에 대해 레벨을 계산하는 알고리즘을 제시한다. 이 알고리즘은 입력 자동자를 전처리하여 카운터 흐름 그래프를 구축하고, 그래프의 순환 패턴을 탐색해 최소 k 값을 산출한다. 시간 복잡도는 자동자의 상태 수와 카운터 전이 수에 다항적으로 의존한다는 점에서 실용적이다. 마지막으로, 와그너 계층의 전통적인 ‘완전성’(completeness)과 ‘밀도’(density) 특성이 BCA에도 그대로 유지됨을 증명한다. 즉, 모든 BCA 언어는 계층의 어느 레벨에 정확히 위치하고, 서로 다른 레벨 사이에는 언어 포함 관계가 엄격히 정의된다. 이러한 결과는 무한 단어를 다루는 모델 검사와 형식 검증 분야에서 BCA가 갖는 표현력과 복잡도 특성을 명확히 파악할 수 있게 해준다.