From Grammars and Automata to Algebras and Coalgebras

DOI10.1007/978-3-642-21493-6_2zbMATH Open1307.68043OpenAlexW81484246MaRDI QIDQ3014929FDOQ3014929

Peter Padawitz

Publication date: 8 July 2011

Published in: Algebraic Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21493-6_2

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Algebraic theory of languages and automata (68Q70)

Cites Work

• Derivatives of Regular Expressions
• Universal coalgebra: A theory of systems
• On tree coalgebras and coalgebra presentations
• Coequalizers and free triples
• Initial Algebra Semantics and Continuous Algebras
• Terminal coalgebras in well-founded set theory
• Swinging types=functions+relations+transition systems
• A hidden agenda
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• A fixpoint theorem for complete categories
• The rewriting logic semantics project
• A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
• Coalgebras of bounded type
• From Varieties of Algebras to Covarieties of Coalgebras
• Abstract data types and software validation
• More on advice on structuring compilers and proving them correct
• A Coalgebraic View of Infinite Trees and Iteration
• Final Coalgebras are Ideal Completions of Initial Algebras
• Final algebra semantics and data type extensions
• Algebraic specification of data types: A synthetic approach
• Final Data Types and Their Specification
• Parametrized data types do not need highly constrained parameters
• When is a function a fold or an unfold?
• Adjoint Folds and Unfolds
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Title not available (Why is that?)

Uses Software

• Stratego

This page was built for publication: From Grammars and Automata to Algebras and Coalgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3014929)