Canonical automata via distributive law homomorphisms
From MaRDI portal
Publication:6653763
Recommendations
Cites work
- scientific article; zbMATH DE number 1688359 (Why is no real title available?)
- scientific article; zbMATH DE number 5761737 (Why is no real title available?)
- scientific article; zbMATH DE number 2019596 (Why is no real title available?)
- scientific article; zbMATH DE number 1770056 (Why is no real title available?)
- scientific article; zbMATH DE number 7559500 (Why is no real title available?)
- scientific article; zbMATH DE number 3296291 (Why is no real title available?)
- scientific article; zbMATH DE number 3319584 (Why is no real title available?)
- scientific article; zbMATH DE number 3189697 (Why is no real title available?)
- A (co)algebraic theory of succinct automata
- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
- A Coalgebraic Perspective on Minimization and Determinization
- A coalgebraic approach to process equivalence and a coinduction principle for traces
- A recipe for state-and-effect triangles
- Adjoint functors and triples
- Algebra-coalgebra duality in Brzozowski's minimization algorithm
- Bases as coalgebras
- Brzozowski's algorithm (co)algebraically
- Coalgebraic constructions of canonical nondeterministic automata
- Combining a monad and a comonad
- Expressivity of coalgebraic modal logic: the limits and beyond
- Fuzzy machines in a category
- Generalizing determinization from automata to coalgebras
- Learning automata with side-effects
- Learning regular sets from queries and counterexamples
- Linear Automaton Transformations
- Notions of computation and monads
- Presenting distributive laws
- Strong completeness for iteration-free coalgebraic dynamic logics
- Theory of átomata
- Trace semantics via determinization
- Trace semantics via determinization
- Universal coalgebra: A theory of systems
- Weak distributive laws
- Well-behaved translations between structural operational semantics
This page was built for publication: Canonical automata via distributive law homomorphisms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6653763)
