A Coalgebraic Perspective on Minimization and Determinization

DOI10.1007/978-3-642-28729-9_4MaRDI QIDQ2892759zbMATH OpenOpenAlexFDO

Authors Jiří Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva

Publication date 22 June 2012

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28729-9_4

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Abstract data types; algebraic specification (68Q65) Algebraic theory of languages and automata (68Q70)

Recommendations

• On minimal coalgebras
• Coalgebraic minimization of automata by initiality and finality
• Generalizing determinization from automata to coalgebras
• scientific article; zbMATH DE number 972601
• Algebra-coalgebra duality in Brzozowski's minimization algorithm
• A coalgebraic view of Heyting duality
• scientific article; zbMATH DE number 7700633
• A coalgebraic view on reachability
• Coalgebraic Completeness-via-Canonicity
• Coalgebraic components in a many-sorted microcosm

Cited in

(34)

• Coalgebraic minimization of automata by initiality and finality
• Languages and models for hybrid automata: a coalgebraic perspective
• A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
• Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
• Revisiting causality, coalgebraically
• A (co)algebraic theory of succinct automata
• A description based on languages of the final non-deterministic automaton
• Coinductive predicates and final sequences in a fibration
• Generalizing the powerset construction, coalgebraically
• Coinduction-based solution for minimization of Kripke structures
• Coalgebraic trace semantics via forgetful logics
• scientific article; zbMATH DE number 139614 (Why is no real title available?)
• Coinductive predicates and final sequences in a fibration
• scientific article; zbMATH DE number 6864542 (Why is no real title available?)
• Generalizing determinization from automata to coalgebras
• Minimality Notions via Factorization Systems and Examples
• A congruence-based perspective on automata minimization algorithms
• Bisimilarity of Diagrams
• scientific article; zbMATH DE number 7204386 (Why is no real title available?)
• A coalgebraic view on reachability
• Algebra-coalgebra duality in Brzozowski's minimization algorithm
• scientific article; zbMATH DE number 7649889 (Why is no real title available?)
• Subsequential transducers: a coalgebraic perspective
• A coalgebraic approach to non-determinism: applications to multilattices
• Minimisation in logical form
• Canonical automata via distributive law homomorphisms
• On Kleisli liftings and decorated trace semantics
• Conditional bisimilarity for reactive systems
• Unifilar machines and the adjoint structure of Bayesian filtering
• PAWS: a tool for the analysis of weighted systems
• Quantitative simulations by matrices
• Coalgebraic constructions of canonical nondeterministic automata
• A coalgebraic semantics for causality in Petri nets
• On minimal coalgebras

This page was built for publication: A Coalgebraic Perspective on Minimization and Determinization

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