[논문 리뷰] Towards a classification of Lindenmayer systems

Diego Gabriel Krivochen, Douglas Saddy|arXiv (Cornell University)|2018. 09. 27.

semigroups and automata theory참고 문헌 12인용 수 4

한 줄 요약

이 논문은 규칙 집합의 성질과 생성되는 문자열 유형에 기반해 린던마이어 시스템을 분류함으로써, 모든 가능한 L-시스템 개발의 무한 단계 공간인 L-스페이스의 매개변수화를 제안한다. 이는 초우아한 체계와 유사한 계층을 도입하여, 본질적인 구조적 제약으로 인해 L-시스템이 상호 번역이 불가능한 종류로 군집됨을 보이며, L-시스템의 형식 언어 이론에 기초적인 분류 체계를 확립한다.

ABSTRACT

In this paper we will attempt to classify Lindenmayer systems based on properties of sets of rules and the kind of strings those rules generate. This classification will be referred to as a parametrization of the L-space: the L-space is the phase space in which all possible L-developments are represented. This space is infinite, because there is no halting algorithm for L-grammars; but it is also subjected to hard conditions, because there are grammars and developments which are not possible states of an L-system: a very well-known example is the space of normal grammars. Just as the space of normal grammars is parametrized into Regular, Context-Free, Context-Sensitive, and Unrestricted (with proper containment relations holding among them; see Chomsky, 1959: Theorem 1), we contend here that the L-space is a very rich landscape of grammars which cluster into kinds that are not mutually translatable.

연구 동기 및 목표

• L-시스템의 규칙 집합 성질과 생성되는 문자열의 성격에 기반한 체계적 분류 체계를 개발하는 것.
• L-스페이스를 정의하고 형식화함으로써, 모든 가능한 L-시스템 개발의 완전한 단계 공간으로서의 개념을 설정하는 것.
• 일부 문법과 개발이 L-스페이스 내의 유효한 상태가 될 수 없도록 막는 구조적 제약을 규명하는 것.
• 초우아한 체계와 유사한 L-시스템의 계층을 수립하고, 각 클래스 간의 포함 관계를 명확히 하는 것.
• L-시스템이 본질적인 형식적 제약으로 인해 상호 번역이 불가능한 고유한 종류로 군집됨을 보여주는 것.

제안 방법

• 저자는 L-스페이스를 모든 가능한 L-시스템 개발의 무한 집합으로 정의하여, 모든 잠재적 유도 과정을 표현한다.
• 규칙 집합의 생성 능력과 구조적 제약을 분석함으로써, 특정 개발이 불가능하게 만드는 조건을 규명한다.
• 분류 체계는 초우아한 체계를 모델로 하며, 규칙 형식과 문자열 생성 행동에 따라 클래스를 정의한다.
• 이 접근법은 특히 초우아한(1959)의 원칙을 활용하여 클래스 간 포함 관계와 분리 가능성을 수립하는 형식 언어 이론 원리를 기반으로 한다.
• L-문법에서의 결정 불가능성과 정지하지 않는 동작이 L-스페이스의 무한성과 제약성의 핵심 이유임을 강조한다.
• 논리적이고 형식적인 분석을 통해 일부 L-시스템이 본질적인 구조적 불일치로 인해 다른 시스템으로 번역될 수 없음을 보여준다.

실험 결과

연구 질문

• RQ1 모든 가능한 L-시스템 개발의 무한 공간을 어떻게 형식적으로 매개변수화할 수 있는가?
• RQ2 규칙 집합의 어떤 구조적 성질이 L-시스템의 생성 능력과 제약을 결정하는가?
• RQ3 초우아한 체계와 유사하게, 상호 번역이 불가능한 자연스러운 L-시스템의 종류가 존재하는가?
• RQ4 어떤 제약 조건이 특정 문법이나 개발이 L-스페이스 내의 유효한 상태가 되는 것을 막는가?
• RQ5 초우아한 체계와 유사한 포함 관계를 가지는 L-시스템의 계층을 수립할 수 있는가?

주요 결과

• L-문법에 대한 정지 알고리즘이 존재하지 않기 때문에 L-스페이스는 무한하고 결정 불가능하다.
• 정상 문법이 L-스페이스 내에 포함될 수 없다는 점을 통해, 모든 문법이나 개발이 L-스페이스의 유효한 상태가 되는 것은 아님을 입증한다.
• L-시스템은 상호 번역이 불가능한 고유한 종류로 군집되며, 이는 생성 능력의 근본적인 불일치를 나타낸다.
• 제안된 분류는 포함 관계를 가지며, 형식 언어 이론에서의 초우아한 체계와 유사한 계층을 형성한다.
• 분류는 규칙 집합의 성질과 생성되는 문자열의 유형에 기반하여, L-시스템 분석을 위한 형식적 프레임워크를 수립한다.
• 이 작업은 L-스페이스가 엄격한 형식적 제약을 받으며, 이로 인해 일관되게 존재할 수 있는 문법과 개발의 범위가 제한됨을 확립한다.