The Equational Theory of Fixed Points with Applications to Generalized Language Theory
AbstractWe review the rudiments of the equational logic of (least) fixed points and provide some of its applications for axiomatization problems with respect to regular languages, tree languages, and synchronization trees.
How to Cite
Ésik, Z. (2001). The Equational Theory of Fixed Points with Applications to Generalized Language Theory. BRICS Report Series, 8(22). https://doi.org/10.7146/brics.v8i22.21683
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.