Infinitary Axiomatization of the Equational Theory of Context-Free Languages

DOI10.3233/FI-2017-1469zbMath1380.68289arXiv1309.0893OpenAlexW1981485111MaRDI QIDQ4589610

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

Publication date: 10 November 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1309.0893

zbMATH Keywords

context free languagesKleene algebraConway semiringsalgebraically complete semirings\(\mu\)-semiring

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Equational classes, universal algebra in model theory (03C05)

Related Items (2)

The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes ⋮ Unnamed Item

This page was built for publication: Infinitary Axiomatization of the Equational Theory of Context-Free Languages