[논문 리뷰] Tree Automata and Tree Grammars

Joost Engelfriet|arXiv (Cornell University)|2015. 10. 07.

semigroups and automata theory참고 문헌 46인용 수 36

한 줄 요약

이 논문은 유한 오토마타와 문맥자유 문법의 일반화로서 트리 오토마타와 트리 문법을 소개하며, 정규 트리 언어와 유한상태 트리 변환기의 기초를 마련한다. 트리 오토마타의 수확물(yield)을 분석하여 문맥자유 언어의 성질을 도출할 수 있음을 보이며, 문법 기반 번역의 모델로 트리 변환기를 탐색하여 형식 언어 이론과 컴파일러 설계 분야의 후속 발전에 기초를 다진다.

ABSTRACT

Lecture notes on tree language theory, in particular recognizable tree languages and finite state tree transformations.

연구 동기 및 목표

• 문자열 오토마타와 문맥자유 문법의 일반화로서 트리 오토마타와 트리 문법을 형식화하기.
• 인식 가능(정규) 트리 언어 이론과 그 닫힘 성질을 수립하기.
• 컴파일러 구축에서 문법 기반 번역의 모델로 유한상태 트리 변환기를 개발하기.
• 트리 변환기와 문맥자유 언어의 의미론 간의 관계 탐색하기.
• 트리 언어 이론 분야의 열린 문제와 향후 연구 방향, 특히 계층과 복잡도 질문들 식별하기.

제안 방법

• 정규 트리 언어를 인식하는 데 사용 가능한 동치 모델로 유한 트리 오토마타와 정규 트리 문법 정의하기.
• 하향식 및 상향식 트리 변환기를 사용해 트리 변환을 모델링하며, 규칙이 부분트리와 상태에서 작동하도록 하기.
• 트리의 수확물(yield, 외곽선) 개념을 도입하여 트리 언어와 문자열 언어를 연결하기.
• 비결정성 및 결정성 변환기를 사용해 트리 변환의 복합성과 분해성 분석하기.
• 표현력을 향상시키고 제어를 가능하게 하기 위해 정규 룩어헤드를 갖춘 트리 변환기 제안하기.
• 트리 변환기를 문법 기반 번역 체계와 컴파일러 설계의 형식적 의미론과 연결하기.

실험 결과

연구 질문

• RQ1 하향식 트리 변환기와 기존의 문법 기반 번역 모델 간의 정확한 관계는 무엇인가?
• RQ2 1968년 투모어의 의미 정의 방법에 직접 대응하는 트리 변환기를 정의할 수 있는가?
• RQ3 트리 언어의 연산(트리 AFL 이론)은 그 언어의 수확물과 어떻게 관련이 있는가?
• RQ4 T-Surface 및 T-Target 언어 클래스는 엄격한 계층을 이루는가? 그리고 인덱스 언어와 비교해 보면 어떠한가?
• RQ5 모든 타겟 언어는 비삭제 및 비지우기 트리 변환기의 순서로 도달할 수 있는가?

주요 결과

• 정규 트리 언어는 문맥자유 언어의 파생 트리 집합과 동치이며, 이로 인해 트리 오토마타 이론의 결과를 문맥자유 언어 이론으로 이행할 수 있다.
• 유한상태 트리 변환기는 문법 기반 번역 체계를 모델링할 수 있으며, 하향식 및 상향식 변환기 간의 표현력과 복합성 행동에서 차이가 있다.
• T-Target 언어 클래스는 DT-Target 언어 클래스보다 엄격히 크며, 결정성 대 비결정성 변환의 엄격한 계층을 나타낸다.
• 문맥자유 트리 문법의 수확물은 인덱스 언어를 생성하며, 상향식 문맥자유 트리 문법은 IO 클래스를 생성한다. 이는 인덱스 언어와 비교할 수 없는 클래스이다.
• 정규 룩어헤드를 갖춘 트리 변환기는 유한상태 변환기의 표현력을 확장하여 더 복잡한 변환을 가능하게 한다.
• T^k-Surface 및 T^k-Target 언어의 계층 문제와 같은 열린 문제들은 아직 해결되지 않았으며, 언어 이론과 컴파일러 설계에 중요한 영향을 미친다.