[논문 리뷰] Regular Expressions with Backreferences and Lookaheads Capture NLOG

Yuya Uezato|arXiv (Cornell University)|2024. 01. 01.

Evolutionary Algorithms and Applications인용 수 1

한 줄 요약

이 논문은 뒤로 돌아보기 참조와 앞쪽 보기 조건을 갖춘 정규 표현식(REWBLk)이 정확히 NLOG 복잡도 클래스를 표현함을 입증한다—즉, 로그 공간 내 비결정적 튜링 기계가 인식할 수 있는 언어의 집합이다. 저자들은 Immerman–Szelepcsényi 정리를 이용한 보완성 처리와 로그 공간 내 중첩된 오라클 기반 기계를 활용해 REWBLk를 로그 공간 내 비결정적 튜링 기계(NTM)로 변환함으로써 이를 달성하였으며, 이는 REWBLk의 소속 문제의 복잡도가 PSPACE-완전하다는 것을 증명한다.

ABSTRACT

Backreferences and lookaheads are vital features to make classical regular expressions (REGEX) practical. Although these features have been widely used, understanding of the unrestricted combination of them has been limited. Practically, most likely, no implementation fully supports them. Theoretically, while some studies have addressed these features separately, few have dared to combine them. Those few studies showed that the amalgamation of these features significantly enhances the expressiveness of REGEX. However, no acceptable expressivity bound for REWBLk - REGEX with backreferences and lookaheads - has been established. We elucidate this by establishing that REWBLk coincides with NLOG, the class of languages accepted by log-space nondeterministic Turing machines (NTMs). In translating REWBLk to log-space NTMs, negative lookaheads are the most challenging part since it essentially requires complementing log-space NTMs in nondeterministic log-space. To address this problem, we revisit Immerman-Szelepcsényi theorem. In addition, we employ log-space nested-oracles NTMs to naturally handle nested lookaheads of REWBLk. Utilizing such oracle machines, we also present the new result that the membership problem of REWBLk is PSPACE-complete.

연구 동기 및 목표

• 뒤로 돌아보기 참조와 앞쪽 보기 조건을 갖춘 정규 표현식(REWBLk)의 표현력을 규명하는 것.
• REWBLk가 알려진 복잡도 클래스 중 어떤 것과 일치하는지 밝혀내는 것.
• REWBLk의 소속 문제의 계산 복잡도를 규명하는 것.
• REWBLk에서 로그 공간 내 비결정적 튜링 기계(NTM)로의 공식적인 변환 메커니즘을 개발하는 것.

제안 방법

• 정규 표현식의 핵심 부분을 위해 수정된 McNaughton–Yamada–Thompson 구성법을 사용해 REWBLk 표현식을 로그 공간 내 비결정적 튜링 기계(NTM)로 변환하는 것.
• 중첩된 변수 캡처를 제거하고 뒤로 돌아보기 참조 처리를 단순화하기 위해 변수 이름 바꾸기(알파-변환 유사 변환)를 적용하는 것.
• 실행 중에 백레퍼런스 값(캡처된 부분 문자열)을 이진 형태로 저장하고 비교하기 위해 특수 작업 테이프를 사용하는 것.
• 중첩된 앞쪽 보기 조건을 처리하기 위해 로그 공간 내 중첩된 오라클 기반 NTM를 도입하는 것—여기서 오라클은 앞쪽 보기 조건을 시뮬레이션한다.
• 비결정적 로그 공간 기계의 보완을 가능하게 하여 음성 앞쪽 보기(!(E))를 정확히 처리하기 위해 Immerman–Szelepcsényi 정리를 적용하는 것.
• 입력 전체를 소비하도록 유일한 출구 및 도착 상태를 기계에 도입하여 정규 표현식의 의미 체계와 일치시키는 것.

실험 결과

연구 질문

• RQ1 뒤로 돌아보기 참조와 앞쪽 보기 조건을 모두 갖춘 정규 표현식(REWBLk)의 표현력은 무엇인가?
• RQ2 REWBLk 클래스는 계산 이론에서 알려진 복잡도 클래스 중 어떤 것과 동일한가?
• RQ3 REWBLk의 소속 문제의 계산 복잡도는 무엇인가?
• RQ4 비결정적 로그 공간 기계의 보완이 필요하므로 음성 앞쪽 보기(!(E))는 로그 공간 내 NTM에서 정확히 시뮬레이션될 수 있는가?

주요 결과

• REWBLk는 정확히 NLOG과 동일하다—즉, 로그 공간 내 비결정적 튜링 기계가 인식할 수 있는 언어의 집합이다.
• REWBLk의 소속 문제는 PSPACE-완전하며, 이는 계산의 난이도를 입증한다.
• 이 논문은 임의의 REWBLk 표현식을 로그 공간 내 NTM로 변환하는 공식적인 메커니즘을 제공하며, 이는 NLOG와의 동치성을 입증한다.
• Immerman–Szelepcsényi 정리는 음성 앞쪽 보기 처리를 위해 로그 공간 내 NTM의 보완을 가능하게 하여 적용되었다.
• 중첩된 앞쪽 보기 조건은 로그 공간 내 중첩된 오라클 기반 NTM를 통해 처리되며, 이는 로그 공간 내에서 재귀적 오라클 질의를 지원한다.
• NLOG-완전한 언어가 REWB(앞쪽 보기 없이) 내에서 표현 가능하다는 것이 입증되어, 핵심 확장의 표현력을 확인한다.