An Infinite Sequence of Full AFL-structures, Each of Which Possesses an Infinite Hierarchy

Peter R.J. Asveld

doi:10.1007/978-94-015-9634-3_15

An Infinite Sequence of Full AFL-structures, Each of Which Possesses an Infinite Hierarchy

Peter R.J. Asveld

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

22 Downloads (Pure)

Abstract

We investigate different sets of operations on languages which result in corresponding algebraic structures, viz. in different types of full AFL’s (full Abstract Family of Languages). By iterating control on ETOL-systems we show that there exists an infinite sequence C_m(m⩾1) of classes of such algebraic structures (full AFL-structures): each class is a proper superset of the next class (C_m ⊃ C_{m +1}). In turn each class C_m contains a countably infinite hierarchy, i.e. a countably infinite chain of language families K_m,n (n⩾1) such that (i) each K_m,n is closed under the operations that determine C m and (ii) each K m,n is properly included in the next one: K_m,n ⊂ K_m,n+1.

Original language	English
Title of host publication	Where Mathematics, Computer Science, Liguistics and Biology Meet
Subtitle of host publication	Essays in honour of Gheorghe Păun
Editors	Carlos Martin-Vide, Victor Mitrana
Place of Publication	Dordrecht, The Netherlands
Publisher	Kluwer
Pages	175-186
Number of pages	12
ISBN (Electronic)	978-94-015-9634-3
ISBN (Print)	978-90-481-5607-8
DOIs	https://doi.org/10.1007/978-94-015-9634-3_15
Publication status	Published - 2001

Access to Document

10.1007/978-94-015-9634-3_15

Asveld2001infiniteAccepted author version, 133 KB

1 Report

An Infinite Sequence of Full AFL-Structures, Each of Which Possesses an Infinite Hierarchy
Asveld, P. R. J., 1999, Enschede: Centre for Telematics and Information Technology (CTIT). 11 p. (CTIT Technical Report Series; no. 99-06)
Research output: Book/Report › Report › Academic

Open Access
File

Cite this

@inbook{31da21505d7147bebf449f88f57331eb,

title = "An Infinite Sequence of Full AFL-structures, Each of Which Possesses an Infinite Hierarchy",

abstract = "We investigate different sets of operations on languages which result in corresponding algebraic structures, viz. in different types of full AFL{\textquoteright}s (full Abstract Family of Languages). By iterating control on ETOL-systems we show that there exists an infinite sequence Cm(m⩾1) of classes of such algebraic structures (full AFL-structures): each class is a proper superset of the next class (Cm ⊃ Cm +1). In turn each class Cm contains a countably infinite hierarchy, i.e. a countably infinite chain of language families Km,n (n⩾1) such that (i) each Km,n is closed under the operations that determine C m and (ii) each K m,n is properly included in the next one: Km,n ⊂ Km,n+1.",

author = "Asveld, {Peter R.J.}",

year = "2001",

doi = "10.1007/978-94-015-9634-3_15",

language = "English",

isbn = "978-90-481-5607-8",

pages = "175--186",

editor = "Carlos Martin-Vide and Victor Mitrana",

booktitle = "Where Mathematics, Computer Science, Liguistics and Biology Meet",

publisher = "Kluwer",

address = "Netherlands",

}

An Infinite Sequence of Full AFL-structures, Each of Which Possesses an Infinite Hierarchy. / Asveld, Peter R.J.
Where Mathematics, Computer Science, Liguistics and Biology Meet: Essays in honour of Gheorghe Păun. ed. / Carlos Martin-Vide; Victor Mitrana. Dordrecht, The Netherlands: Kluwer, 2001. p. 175-186.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

TY - CHAP

T1 - An Infinite Sequence of Full AFL-structures, Each of Which Possesses an Infinite Hierarchy

AU - Asveld, Peter R.J.

PY - 2001

Y1 - 2001

N2 - We investigate different sets of operations on languages which result in corresponding algebraic structures, viz. in different types of full AFL’s (full Abstract Family of Languages). By iterating control on ETOL-systems we show that there exists an infinite sequence Cm(m⩾1) of classes of such algebraic structures (full AFL-structures): each class is a proper superset of the next class (Cm ⊃ Cm +1). In turn each class Cm contains a countably infinite hierarchy, i.e. a countably infinite chain of language families Km,n (n⩾1) such that (i) each Km,n is closed under the operations that determine C m and (ii) each K m,n is properly included in the next one: Km,n ⊂ Km,n+1.

AB - We investigate different sets of operations on languages which result in corresponding algebraic structures, viz. in different types of full AFL’s (full Abstract Family of Languages). By iterating control on ETOL-systems we show that there exists an infinite sequence Cm(m⩾1) of classes of such algebraic structures (full AFL-structures): each class is a proper superset of the next class (Cm ⊃ Cm +1). In turn each class Cm contains a countably infinite hierarchy, i.e. a countably infinite chain of language families Km,n (n⩾1) such that (i) each Km,n is closed under the operations that determine C m and (ii) each K m,n is properly included in the next one: Km,n ⊂ Km,n+1.

U2 - 10.1007/978-94-015-9634-3_15

DO - 10.1007/978-94-015-9634-3_15

M3 - Chapter

SN - 978-90-481-5607-8

SP - 175

EP - 186

BT - Where Mathematics, Computer Science, Liguistics and Biology Meet

A2 - Martin-Vide, Carlos

A2 - Mitrana, Victor

PB - Kluwer

CY - Dordrecht, The Netherlands

ER -

An Infinite Sequence of Full AFL-structures, Each of Which Possesses an Infinite Hierarchy

Abstract

Access to Document

Fingerprint

Research output

An Infinite Sequence of Full AFL-Structures, Each of Which Possesses an Infinite Hierarchy

Cite this