|
The Equational Theory of Fixed Points with Applications to Generalized
Language Theory
Zoltán Ésik June 2001 |
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
Available as PostScript, PDF, DVI. |