Infinitary Axiomatization of the Equational Theory of Context-Free Languages

Thumbnail
View/Open
PERMANENT LINK(S)
https://hdl.handle.net/1813/33417
Collections
Metadata
Show full item record
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
Subject
context-free language; completeness
Type
technical report

Statistics