[논문 리뷰] Non-trivial unary languages recognized by two-way one-counter machines.

Marzio De Biasi, Abuzer Yakaryılmaz|arXiv (Cornell University)|2013. 11. 04.

semigroups and automata theory참고 문헌 37인용 수 2

한 줄 요약

이 논문은 이원수 입력에서 다중카운터 오토마타와 공간 제한 터링 기계를 시뮬레이션할 수 있도록 하는 두 방향 일개수 오토마타(2CA)를 위한 새로운 프로그래밍 기법을 제안한다. 이 기법은 시뮬레이션 대상 기계의 작업 메모리와 입력을 이원수로 표현된 정수의 지수로 인코딩하여 구현한다. 주요 기여는 결정성, 비결정성, 교대성, 확률적 2CA가 지수적으로 긴 문자열을 초월하는 비트리비얼 이원수 언어를 인식할 수 있음을 밝혀낸 것이다. 이는 이원수 언어의 인식 능력이 이론적으로 확장되었음을 의미하며, 이는 이원수 표현을 사용하는 일정 크기의 양자 메모리로 이진수 표현을 대체할 수 있음을 시사한다.

ABSTRACT

Finite automaton with one counter (CA) is a fundamental model in automata theory. It has been widely examined from different point of views since sixties. One recent significant result, for example, is that the equivalence problem of deterministic one-way CAs is NLcomplete [Stanislav Bohm, Stefan Goller, Petr Jancar. STOC 2013: 131140]. In the case of unary languages, on the other hand, we know little about the computational power of CAs. Since one-way nondeterministic pushdown automata, a generalization of one-way nondeterministic CAs, cannot recognize any nonregular unary language, it is interesting to focus on one-way alternating CAs (1ACAs) and two-way CAs (2CAs). Up to our knowledge, the only known unary non-regular languages recognized by 1ACAs and 2CAs are formed by the strings with exponential lengths. In this paper, we present a new programming technique for 2CAs on unary languages that allows to simulate multi-counter automata and space bounded Turing machines operating on unary or general alphabets. The idea is that a 2CA can take the input and the working memory of the simulated machine as the exponent of some integers encoded on unary inputs. Thus, once the 2CA becomes sure about the correctness of the encoding, it can start a two-counter simulation of the given machine. Here the second counter is simulated by the input head of the 2CA on the unary input. Based on this idea, we will present several new non-trivial unary languages recognized by deterministic, nondeterministic, alternating, and probabilistic 2CAs. In some cases, we use encodings on binary alphabet as well, in which we show that using a constant-size quantum memory can help to replace the encoding on binary alphabets with unary alphabets. keywords: automata theory, counter machines, unary languages, nondeterminism, alternation, randomization, quantum automata

연구 동기 및 목표

• 이원수 언어에서 기존에 알려진 바가 거의 없는, 특히 지수 길이의 문자열 인식을 초월한 두 방향 일개수 오토마타(2CA)의 계산 능력을 탐구한다.
• 일방향 비결정성 CAs가 비정규 이원수 언어를 인식할 수 없는 한계를 극복한다.
• 2CA가 이원수 또는 일반 알파벳 기반 입력에서 다중카운터 오토마타와 공간 제한 터링 기계를 시뮬레이션할 수 있도록 하는 새로운 시뮬레이션 기법을 개발한다.
• 결정성, 비결정성, 교대성, 확률적 2CA 모델이 지수 길이의 문자열을 초월하는 비트리비얼 이원수 언어를 인식할 수 있음을 보여준다.
• 이진수 표현의 역할과 일정 크기의 양자 메모리가 이진수 표현을 이원수 표현으로 대체할 수 있는 잠재적 이점에 대해 조사한다.

제안 방법

• 2CA는 시뮬레이션 대상 기계의 입력과 작업 메모리를 이원수로 표현된 정수의 지수로 인코딩하며, 카운터를 사용해 이러한 값을 저장하고 조작한다.
• 인코딩이 올바르게 수행되었음을 확인한 후, 2CA는 목표 기계의 이중카운터 시뮬레이션을 시작하며, 입력 헤드가 이원수 테이프에 위치해 두 번째 카운터를 시뮬레이션한다.
• 이 기법은 이원수 또는 일반 알파벳 기반 입력에서 다중카운터 오토마타와 공간 제한 터링 기계의 시뮬레이션을 가능하게 한다.
• 이 방법은 결정성, 비결정성, 교대성, 확률적 2CA 모두를 지원하며, 새로운 비정규 이원수 언어의 인식을 가능하게 한다.
• 일부 구성에서 이진수 표현을 사용하며, 일정 크기의 양자 메모리가 이러한 이진수 표현을 이원수 표현으로 대체할 수 있음을 보여준다.
• 정확한 상태 제어와 이원수 입력 테이프 상의 헤드 이동 패tern을 통해 인코딩의 정확성을 검증한다.

실험 결과

연구 질문

• RQ1 두 방향 일개수 오토마타는 지수 길이의 문자열을 초월하는 비트리비얼 이원수 언어를 인식할 수 있는가?
• RQ2 2CA는 새로운 인코딩 체계를 사용해 이원수 입력에서 다중카운터 오토마타와 공간 제한 터링 기계를 어떻게 시뮬레이션할 수 있는가?
• RQ3 2CA가 복잡한 이원수 언어를 인식하기 위해 사용하는 이진수 표현의 역할은 무엇이며, 이를 이원수 표현으로 대체할 수 있는가?
• RQ4 일정 크기의 양자 메모리는 2CA의 이원수 언어 인식에서 이진수 표현의 필요성을 줄일 수 있는가?
• RQ5 다양한 2CA 변종—결정성, 비결정성, 교대성, 확률적—의 이원수 언어 처리에서의 계산 능력은 어떠한가?

주요 결과

• 논문은 결정성, 비결정성, 교대성, 확률적 두 방향 일개수 오토마타가 새로운 비트리비얼 이원수 언어를 인식할 수 있음을 제시한다.
• 이러한 언어들은 지수 길이의 문자열로 구성된 언어를 초월하며, 이는 2CA의 이원수 입력에 대한 표현 능력이 상당히 확장되었음을 보여준다.
• 제안된 인코딩 기법을 통해 2CA는 다중카운터 오토마타와 공간 제한 터링 기계를 이원수로 표현된 정수의 지수로서 상태와 메모리를 표현함으로써 시뮬레이션할 수 있다.
• 일부 구성에서 사용된 이진수 표현은 일정 크기의 양자 메모리가 존재할 경우 이원수 표현으로 대체될 수 있다.
• 이 기법은 이질적인 자동기계나 더 큰 메모리 모델이 필요한 언어를 인식할 수 있도록 한다.
• 결과적으로 2CA는 이전에 예상한 것보다 이원수 입력에서 더 강력한 계산 능력을 지닌다는 것이 입증되었으며, 특히 인코딩 및 시뮬레이션 전략을 활용할 경우 더욱 두드러진다.