실시간 기계의 비정규 언어 인식을 위한 공간 복잡도 최적 경계

초록

본 논문은 실시간 튜링 기계가 비정규 언어를 인식할 때 필요한 최소 메모리를 조사한다. 결정적·비결정적·교대형 기계에 대해 강·중·약 공간 모델을 적용하고, 일반 및 유니터리 입력에 대해 기존 일방향 기계에서 알려진 로그·이중 로그 하한이 실시간에서도 동일하게 성립함을 보인다. 또한 스택을 두 개 사용하는 실시간 푸시다운 자동자는 O(log n) 공간으로 비정규 언어를 인식할 수 있음을 제시한다.

상세 분석

논문은 먼저 실시간 계산과 일방향 계산을 구분한다. 실시간은 입력 심볼당 반드시 한 번의 전이만 허용되는 가장 엄격한 시간 제한을 의미하고, 일방향은 입력 헤드가 멈출 수 있는 여지를 둔다. 이러한 차이가 언어 인식 능력에 미치는 영향을 기존 연구에서는 주로 시간 복잡도 측면에서 다루었지만, 본 연구는 공간 복잡도에 초점을 맞춘다.

공간 모델은 강(strong), 중(middle), 약(weak) 세 가지로 정의된다. 강 공간은 모든 도달 가능한 구성(configuration)에서 작업 테이프 헤드가 초기 위치로부터 s(n) 셀 이내에 머물러야 함을 요구하고, 중 공간은 오직 수용 입력에 대해서만 이 조건을 적용한다. 약 공간은 “적어도 하나의 수용 경로”가 s(n) 이하의 공간을 사용하면 충분하다는 가장 관대한 정의이다. 이러한 구분은 특히 비결정적·교대형 기계에서 하한을 정확히 기술하는 데 필수적이다.

주요 결과는 표 1에 요약된다. 일방향 기계에 대해 알려진 로그 n, 로그 log n 수준의 하한이 실시간 기계에도 그대로 적용됨을 보인다. 이를 위해 저자들은 두 가지 핵심 기법을 사용한다. 첫 번째는 로그 n 공간을 사용하는 실시간 결정적 튜링 기계 D를 직접 구성하는 것이다. D는 특수한 유니터리 언어 L_D={a^{k_i} | i≥0, k_0=8, k_{i+1}=k_i+2^i(i+1)+2}를 인식한다. 작업 테이프에 역이진 카운터를 두고, 입력 심볼 a마다 카운터를 한 번씩 증가시키면서 헤드를 왼쪽·오른쪽으로 왕복시켜 O(log n) 공간만 사용한다.

두 번째 기법은 “패딩” 변환이다. 일방향 기계 D를 실시간 기계 D_κ로 변환할 때, 새로운 심볼 κ를 삽입해 입력이 정지하는 순간마다 κ를 소비하도록 만든다. 이때 작업 테이프의 공간 사용량은 원래 기계와 동일하게 유지된다. 강·중 공간에 대해서는 이 변환이 그대로 적용돼, 기존 일방향 기계가 차지하던 로그 log n 공간을 실시간에서도 유지한다. 약 공간의 경우, 경로마다 사용되는 정지 단계 수를 l(선택된 비밀 숫자)의 로그에 비례하도록 설계해, 큰 l을 선택한 경로가 반드시 더 오래 실행되게 함으로써 약 공간 하한도 유지한다.

교대형 기계에 대해서는 중간 공간이 log log n 수준임을 보이며, 이는 기존 일방향 결과와 일치한다. 또한, 약 공간에 대한 비결정적 기계의 경우에도 동일한 이중 로그 하한을 실시간으로 달성한다는 증명을 제시한다.

마지막으로 푸시다운 자동자와 카운터 자동자에 대한 확장을 논한다. 단일 스택(또는 단일 카운터) 실시간 기계는 비정규 언어를 인식하려면 최소 Θ(n) 공간이 필요하지만, 스택을 두 개로 늘리면 O(log n) 공간만으로도 비정규 언어 Even‑rev‑bins을 인식할 수 있음을 보인다. 이는 스택 수가 증가함에 따라 공간 효율이 기하급수적으로 향상될 수 있음을 시사한다.

전체적으로 논문은 실시간 제약이 공간 하한에 미치는 영향을 체계적으로 분석하고, 기존 일방향 결과가 대부분 그대로 적용됨을 증명함으로써 “시간 제한이 강해져도 공간 요구량은 크게 변하지 않는다”는 중요한 통찰을 제공한다.