A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 375-404
- https://doi.org/10.1007/11780274_20
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Behavioural differential equations: a coinductive calculus of streams, automata, and power seriesTheoretical Computer Science, 2003
- On the completeness of the equations for the Kleene star in bisimulationPublished by Springer Nature ,1996
- Bisimulation can't be tracedJournal of the ACM, 1995
- Alternating automata on infinite treesTheoretical Computer Science, 1987
- Adjoint Lifting Theorems for Categories of AlgebrasBulletin of the London Mathematical Society, 1975
- Foundations of system theory: Decomposable systemsAutomatica, 1974
- Realization is universalTheory of Computing Systems, 1972
- Minimal realization of machines in closed categoriesBulletin of the American Mathematical Society, 1972
- Distributive lawsPublished by Springer Nature ,1969
- Derivatives of Regular ExpressionsJournal of the ACM, 1964