Infinitary Axiomatization of the Equational Theory of Context-Free Languages

File(s)

Main article

Permanent Link(s)

Collections

Author

Grathwohl, Niels Bjørn Bugge

Henglein, Fritz

Kozen, Dexter

Abstract

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

Date Issued

2013-07-01

Keywords

•

Type

technical report