L Systems pp 177-188 | Cite as

Notes on pre-set pushdown automata

  • Jan van Leeuwen
Different Ways Of Defining L Languages
Part of the Lecture Notes in Computer Science book series (LNCS, volume 15)


Motivated by practical implementation-methods for recursive program-schemata we will define and study presetting techniques for push-down automata. The main results will characterize the languages of preset pda's in terms of types of iterated substitution languages. In particular when conditions of "locally finiteness" and of "finite returning" are imposed we get a feasible machine-model for a class of developmental languages. The accepted family extends to the smallest AFL enclosing it when we drop the condition of locally finiteness. At the same time this family will be the smallest such full AFL. If all conditions are removed, present pda's exactly represent the family of iterated regular substitution languages, a sub-family of the indexed languages. Deterministic preset pda's are also studied, and the language-family they define is shown to be closed under complementation, generalizing a classical result.


  1. *).
    Footnote. See van Leeuwen, J., "A generalization of Parikh's theorem in formal language theory", Tech. Rep. 71, Dept. of Comp. Sciences, SUNY, Buffalo, 1974.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • Jan van Leeuwen
    • 1
    • 2
  1. 1.Department of Computer ScienceState University of New York at BuffaloAmherst
  2. 2.Department of MathematicsUniversity of UtrechtUtrechtThe Netherlands

Personalised recommendations