A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
From MaRDI portal
Publication:5757938
DOI10.1007/11780274_20zbMath1133.68049OpenAlexW2148744216MaRDI QIDQ5757938
Publication date: 7 September 2007
Published in: Algebra, Meaning, and Computation (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2066/36207
Related Items
Unnamed Item, Deriving Syntax and Axioms for Quantitative Regular Behaviours, Left-Handed Completeness, Unnamed Item, Completeness and the finite model property for Kleene algebra, reconsidered, Bialgebras for structural operational semantics: an introduction, Pointwise extensions of GSOS-defined operations, From Grammars and Automata to Algebras and Coalgebras, Initial Algebras of Terms with Binding and Algebraic Structure, Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems, Product Rules and Distributive Laws, Distributive laws for the coinductive solution of recursive equations, Processes as formal power series: a coinductive approach to denotational semantics, Left-handed completeness, Steps and traces, A New Foundation for Finitary Corecursion, A new foundation for finitary corecursion and iterative algebras
