Representation of Unary Singleton Languages using Quantum Finite State Automata
Sicheol Sung, Yo-Sub Han · 정보과학회 컴퓨팅의 실제 논문지 · 2025
양자 오토마타(quantum finite-state automaton, QFA)는 각 상태를 유한한 수의 큐비트(qubit)로 표현하는 오토마타다. QFA는 확률에 따라 문자열을 수락하거나 거부하며, QFA가 인식하는 언어는 해당 QFA가 임계값 이상의 확률로 수락하는 문자열의 집합이다. 본 논문에서는 다수측정(measure-many, MM-) QFA가 유계 단측오류(bounded one-sided error)를 통해 언어를 정의하는 경우, 모든 단항(unary) 한원소(singleton) 언어에 대하여 이를 정의하는 크기 4의 MM-QFA가 존재함을 보인다. 또한 이 경우에 상수 크기의 오류발생 확률을 보장하기 위한 QFA의 수행횟수를 제시한다.