Open AccessHyper-AFLs and ET0L Systems
Author(s) -
Per Ahlgren Christensen
Publication year - 1974
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v3i35.6456
Subject(s) - substitution (logic) , iterated function , rewriting , computer science , natural (archaeology) , arithmetic , mathematics , theoretical computer science , discrete mathematics , programming language , history , mathematical analysis , archaeology
This Paper deals with relations between substitutions and parallel rewriting in the sense of Lindenmayer-systems. We are especially interested in iterated substitution, which was introduced by Jan van Leeuwen and Arlo Salomaa, and which is a generalkation of the EOL- and the ETOL-system. In a natural way these iterated substitutions lead to the notion of a hyper-AFL, and it will be proved that the family of ETOL languages is the smallest hyper-AFL.