비중심형 반환형 푸시다운 자동기 시스템의 보편성 및 UDPAS 복잡도 연구

초록

본 논문은 두 구성요소를 갖는 비중심형 반환 모드 PCPA가 모든 재귀적으로 열거 가능한 언어를 인식함을 보이며, 이를 결정론적 푸시다운 자동기와 포스트 기계 시뮬레이션을 통해 증명한다. 또한 Uniform Distributed Pushdown Automata Systems(UDPAS)의 언어 계층이 구성요소 수에 따라 달라지지 않으며, 빈 스택 수용 조건 하에서의 멤버십 문제는 NP‑완전임을 보여 두 개의 열린 문제를 해결한다.

상세 분석

논문은 먼저 기존 연구들을 정리하면서, 중앙집중형 반환형 PCPA가 두 개의 구성요소만으로도 보편적이라는 결과(Petersen 2013)를 재확인한다. 이어서 비중심형, 즉 하나의 목표 자동기만을 갖는 구조가 아직 보편성을 갖는지 여부가 남아 있었는데, 저자는 이를 결정론적 푸시다운 자동기 두 대와 포스트 기계(Post Machine)를 이용한 새로운 시뮬레이션 기법으로 해결한다. 핵심 아이디어는 입력을 첫 번째 구성요소가 역순으로 스택에 저장하고, 포스트 기계의 한 단계 실행을 모방하는 일련의 통신 사이클을 구성하는 것이다. 각 사이클에서 첫 번째 자동기는 현재 스택 최상위 기호를 팝하고, 응답 기호 R을 삽입한 뒤, 두 번째 자동기로 스택 내용을 전송한다(반환 모드). 두 번째 자동기는 항상 수용 상태에 머무르며, 전송된 스택을 받아 첫 번째 자동기가 다시 실행될 수 있도록 한다. 이렇게 하면 포스트 기계가 수행하는 모든 연산을 정확히 재현할 수 있으며, 포스트 기계가 인식하는 모든 RE 언어가 해당 PCPA에 의해 인식된다. 중요한 점은 두 자동기가 모두 결정론적이라는 점으로, 비중심형 반환형 PCPA가 비결정적 요소 없이도 보편성을 가짐을 보여준다.

다음으로 UDPAS에 대한 연구로 전환한다. UDPAS는 여러 푸시다운 자동기가 하나의 입력 테이프를 차례로 사용하며, 각 자동기가 차단될 경우 다음 자동기로 전환되는 방식이다. 저자는 먼저 구성요소 수에 따른 언어 계층이 존재하지 않음을 증명한다. 이를 위해 단일 문자 알파벳 위의 유한 비공백 언어 M을 가정하고, 임의의 구성요소 수 n에 대해 M을 인식할 수 없음을 귀류법으로 보인다. 구체적으로, M을 인식하는 UDPAS가 존재한다면, Lemma 1(