TOWARDS AN ALGEBRAIC THEORY OF CONTEXT-FREE LANGUAGES
Jean Berstel, Luc Boasson · Fundamenta Informaticae · 1996
The purpose of the paper is to present the implications of a new definition of context-free languages. The main interests of this approach are first to allow full formal proofs and second to enlight the crucial role of rational closures. The proposed formalism is based on a theorem of Wechler. It is very near to the “radical algebras” of Conway.