Iterating iterated substitution

Joost Engelfriet

    Research output: Contribution to journalArticleAcademic

    1 Citation (Scopus)
    42 Downloads (Pure)

    Abstract

    By iterating iterated substitution not all regular languages can be copied. Hence the smallest full hyper (1)-AFL is properly contained in ETOL, the smallest full hyper-AFL. The number of iterations of iterated substitution gives rise to a proper hierarchy. Consequently the smallest full hyper (1)-AFL is not a full principal AFL.
    Original languageUndefined
    Pages (from-to)85-100
    JournalTheoretical computer science
    Volume5
    Issue number1
    DOIs
    Publication statusPublished - 1977

    Keywords

    • IR-68024

    Cite this