EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Organisation

3713 Extensions of Language Families and Canonical Forms for Full AFL-Structures

Home Policy Brochure Browse Search User Area Contact Help

Asveld, P.R.J. (1977) Extensions of Language Families and Canonical Forms for Full AFL-Structures. Memorandum 167, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690

Full text not available from this repository.

Abstract

We consider the following ways of extending a family of languages $K$ to an "enriched" family $X(K)$ : (i) hyper-algebraic extension ( $X = H$ ) based on iterated parallel substitution, (ii) algebraic extension ( $X = A$ ) obtained by nested iterated substitution, (iii) rational extension ( $X = R$ ) achieved by not-self-embedding nested iterated substitution, and (iv) a few subrational extensions ( $X = M, S, P, F, C$ ) based on several kinds of substitution. We introduce full $X$ -AFL's, i.e. nontrivial families closed under finite substitution, intersection with regular sets and under $X$ , which turn out to be equivalent to well-known AFL-structures such as full hyper-AFL ( $X = H$ ), super-AFL ( $A$ ), substitution-closed AFL ( $R$ ), semi-AFL ( $S$ ), etc. Then we establish Canonical Forms for the smallest full $X$ -AFL $\hat{\cal X}(K)$ containing $K$ , i.e. we decompose the operator $\hat{\cal X}$ into simpler operators. Using Canonical Forms for full $X$ -AFL's we obtain expressions for the smallest full $X$ -AFL containing the result of substituting a family of languages into another family.

Item Type:	Internal Report (Memorandum)
Research Group:	EWI-HMI: Human Media Interaction
Research Program:	CTIT-NICE: Natural Interaction in Computer-mediated Environments
Additional Information:	Research supported by Netherlands Organization for the Advancement of Pure Research (ZWO).
ID Code:	3713
Deposited On:	07 February 2007
Refereed:	No
More Information:	statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item