Iterating iterated substitution

Joost Engelfriet

    Research output: Contribution to journalArticleAcademic

    1 Citation (Scopus)
    98 Downloads (Pure)


    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
    Issue number1
    Publication statusPublished - 1977


    • IR-68024

    Cite this