Towards a Coalgebraic Chomsky Hierarchy

DOI10.1007/978-3-662-44602-7_21MaRDI QIDQ3190167zbMATH OpenOpenAlexFDO

Authors Stefan Milius, Alexandra Silva, S. S. Goncharov

Publication date 15 September 2014

Published in Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44602-7_21

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1497878
• On expressivity and compositionality in logics for coalgebras
• scientific article; zbMATH DE number 1314221
• Context-free coalgebras
• A compositional approach to defining logics for coalgebras
• Coalgebraic approach for program behavior in comonads over toposes
• Coalgebras in functional programming and type theory
• Predicate liftings and functor presentations in coalgebraic expression languages
• Functorial coalgebraic logic: the case of many-sorted varieties

Cited in

(9)

• Predicate liftings and functor presentations in coalgebraic expression languages
• A new foundation for finitary corecursion and iterative algebras
• A new foundation for finitary corecursion. The locally finite fixpoint and its properties
• The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy
• The Algebraic Approach II: Dioids, Quantales and Monads
• Proper functors and fixed points for finite behaviour
• The costructure–cosemantics adjunction for comodels for computational effects
• Toward a uniform theory of effectful state machines
• Convex language semantics for nondeterministic probabilistic automata

This page was built for publication: Towards a Coalgebraic Chomsky Hierarchy

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