A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
From MaRDI portal
Publication:5757938
DOI10.1007/11780274_20zbMath1133.68049MaRDI 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
Initial Algebras of Terms with Binding and Algebraic Structure, Unnamed Item, Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems, Product Rules and Distributive Laws, Completeness and the finite model property for Kleene algebra, reconsidered, Bialgebras for structural operational semantics: an introduction, Steps and traces, Left-handed completeness, A new foundation for finitary corecursion and iterative algebras, Distributive laws for the coinductive solution of recursive equations, Processes as formal power series: a coinductive approach to denotational semantics, A New Foundation for Finitary Corecursion, Unnamed Item, Left-Handed Completeness, Pointwise extensions of GSOS-defined operations, From Grammars and Automata to Algebras and Coalgebras, Deriving Syntax and Axioms for Quantitative Regular Behaviours