Canonical automata via distributive law homomorphisms
type: Item
instance of: scholarly article
title: Canonical automata via distributive law homomorphisms
author: Stefan Zetzsche
author: Gerco van Heerdt
author: Matteo Sammartino
author: Alexandra Silva
publication date: 2024-12-17T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q70
zbMATH DE Number: 7959058
MaRDI profile type: Publication
cites work: A Coalgebraic Perspective on Minimization and Determinization
cites work: Learning regular sets from queries and counterexamples
cites work: Fuzzy machines in a category
cites work: Q3575369
cites work: Q5579535
cites work: Algebra-coalgebra duality in brzozowski's minimization algorithm
cites work: Brzozowski’s Algorithm (Co)Algebraically
cites work: Presenting Distributive Laws
cites work: Q5725992
cites work: Theory of átomata
cites work: Q2762501
cites work: Adjoint functors and triples
cites work: Q4440388
cites work: Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics
cites work: A (co)algebraic theory of succinct automata
cites work: Learning automata with side-effects
cites work: A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
cites work: Bases as coalgebras
cites work: A Recipe for State-and-Effect Triangles
cites work: Trace Semantics via Determinization
cites work: Trace semantics via determinization
cites work: A coalgebraic approach to process equivalence and a coinduction principle for traces
cites work: Q5599205
cites work: Q5089311
cites work: Notions of computation and monads
cites work: Coalgebraic constructions of canonical nondeterministic automata
cites work: Linear Automaton Transformations
cites work: Combining a monad and a comonad
cites work: Generalizing determinization from automata to coalgebras
cites work: Universal coalgebra: A theory of systems
cites work: Expressivity of coalgebraic modal logic: the limits and beyond
cites work: Q3646425
cites work: Q4540525
cites work: Well-behaved translations between structural operational semantics
DOI: 10.4204/EPTCS.351.18
description: scientific article; zbMATH DE number 7959058