DeepAI AI Chat
Log In Sign Up

Towards a classification of Lindenmayer systems

09/27/2018
by   Diego Krivochen, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

10/04/2022

Evolution of control with learning classifier systems

In this paper we describe the application of a learning classifier syste...
12/15/2017

Bubble-Flip---A New Generation Algorithm for Prefix Normal Words

We present a new recursive generation algorithm for prefix normal words....
03/12/2021

An extensible equality checking algorithm for dependent type theories

We present a general and user-extensible equality checking algorithm tha...
01/15/2014

A Brief History of Learning Classifier Systems: From CS-1 to XCS

Modern Learning Classifier Systems can be characterized by their use of ...
05/15/2019

Techniques for Inferring Context-Free Lindenmayer Systems With Genetic Algorithm

Lindenmayer systems (L-systems) are a formal grammar system, where the m...
01/12/2023

On Existence Theorems for Conditional Inferential Models

The framework of Inferential Models (IMs) has recently been developed in...
05/22/2021

Homotopies in Multiway (Non-Deterministic) Rewriting Systems as n-Fold Categories

We investigate the algebraic and compositional properties of multiway (n...