Infinitary axiomatization of the equational theory of context-free languages

Niels Bjørn Bugge Grathwohl; Fritz Henglein; Kozen Dexter

doi:10.4204/EPTCS.126.4

Infinitary axiomatization of the equational theory of context-free languages

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Kozen Dexter

Department of Computer Science

6 Citations (Scopus)

44 Downloads (Pure)

Abstract

We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).

Original language	English
Title of host publication	Proceedings of the Workshop on Fixed Points in Computer Science 2013
Editors	David Baelde, Arnaud Carayol
Number of pages	12
Publication date	28 Aug 2013
Pages	44-55
DOIs	https://doi.org/10.4204/EPTCS.126.4
Publication status	Published - 28 Aug 2013
Event	Workshop on Fixed Points in Computer Science (FICS 2013) - Torino, Italy Duration: 1 Sept 2013 → … Conference number: 9

Conference

Conference	Workshop on Fixed Points in Computer Science (FICS 2013)
Number	9
Country/Territory	Italy
City	Torino
Period	01/09/2013 → …

Series	Electronic Proceedings in Theoretical Computer Science
Volume	126
ISSN	2075-2180

Access to Document

10.4204/EPTCS.126.4Licence: CC BY

Grathwohl_2013_Infinitary_axiomatizationFinal published version, 104 KBLicence: CC BY

Cite this

Infinitary axiomatization of the equational theory of context-free languages. / Grathwohl, Niels Bjørn Bugge; Henglein, Fritz; Dexter, Kozen.

Proceedings of the Workshop on Fixed Points in Computer Science 2013. ed. / David Baelde; Arnaud Carayol. 2013. p. 44-55 (Electronic Proceedings in Theoretical Computer Science, Vol. 126).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Grathwohl, NBB, Henglein, F & Dexter, K 2013, Infinitary axiomatization of the equational theory of context-free languages. in D Baelde & A Carayol (eds), Proceedings of the Workshop on Fixed Points in Computer Science 2013. Electronic Proceedings in Theoretical Computer Science, vol. 126, pp. 44-55, Workshop on Fixed Points in Computer Science (FICS 2013), Torino, Italy, 01/09/2013. https://doi.org/10.4204/EPTCS.126.4

@inproceedings{a4b2b2393ad34c4c950574688c8ee698,

title = "Infinitary axiomatization of the equational theory of context-free languages",

abstract = "We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Lei{\ss} (1992).",

author = "Grathwohl, {Niels Bj{\o}rn Bugge} and Fritz Henglein and Kozen Dexter",

year = "2013",

month = aug,

day = "28",

doi = "10.4204/EPTCS.126.4",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science",

publisher = "Open Publishing Association",

pages = "44--55",

editor = "David Baelde and Arnaud Carayol",

booktitle = "Proceedings of the Workshop on Fixed Points in Computer Science 2013",

note = "Workshop on Fixed Points in Computer Science (FICS 2013) ; Conference date: 01-09-2013",

}

TY - GEN

T1 - Infinitary axiomatization of the equational theory of context-free languages

AU - Grathwohl, Niels Bjørn Bugge

AU - Henglein, Fritz

AU - Dexter, Kozen

N1 - Conference code: 9

PY - 2013/8/28

Y1 - 2013/8/28

N2 - We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).

AB - We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).

U2 - 10.4204/EPTCS.126.4

DO - 10.4204/EPTCS.126.4

M3 - Article in proceedings

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 44

EP - 55

BT - Proceedings of the Workshop on Fixed Points in Computer Science 2013

A2 - Baelde, David

A2 - Carayol, Arnaud

T2 - Workshop on Fixed Points in Computer Science (FICS 2013)

Y2 - 1 September 2013

ER -

Infinitary axiomatization of the equational theory of context-free languages

Abstract

Conference

Access to Document

Fingerprint

Cite this