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

Zoltán Ésik

doi:10.7146/brics.v8i22.21683

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

Authors

Zoltán Ésik

DOI:

https://doi.org/10.7146/brics.v8i22.21683

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.

Downloads

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