The Equational Theory of Fixed Points with Applications to Generalized Language Theory

  • Zoltán Ésik

Abstract

We 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.
Published
2001-06-04
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