Extensions of Language Families and Canonical Forms for the Corresponding AFL-structures

P.R.J. Asveld

    Research output: Book/ReportReportOther research output


    By restrictions on the definition of hyper-algebraic extension we obtain a few other extension operators $X$, which transform a language family $K$ into an "enriched" family $X(K)$. Well-known AFL-structures (such as full AFL, semi-AFL, super-AFL, substitution-closed AFL, etc.) are characterized by means of full $X$-AFL's, i.e. nontrivial families closed under (i) finite substitution, (ii) intersection with regular sets, and (iii) the operator $X$. For the least full $X$-AFL $\hat{\cal X}(K)$ containing $K$, we establish Canonical Forms, i.e. we decompose the operator $\hat{\cal X}$ into a single product of the simpler operators $X$ and $\Pi$, where $\Pi(K)$ is the least nontrivial family containing $K$ and closed under (i) and (ii).
    Original languageUndefined
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages13
    Publication statusPublished - 1976


    • EWI-3699
    • HMI-SLT: Speech and Language Technology

    Cite this