scientific article; zbMATH DE number 7204386

DOI10.4230/LIPICS.MFCS.2017.52zbMATH Open1441.68138MaRDI QIDQ5111267FDOQ5111267

Authors Thomas Colcombet, Daniela Petrişan 

Publication date 26 May 2020

Full work available at URL https://arxiv.org/abs/1711.06065

zbMATH Keywords

automata minimization in a categoryhybrid set-vector automata

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)

Cites work

• scientific article; zbMATH DE number 3653575 (Why is no real title available?)
• scientific article; zbMATH DE number 6917169 (Why is no real title available?)
• A Coalgebraic Perspective on Minimization and Determinization
• A coalgebraic perspective on linear weighted automata
• Adjoint machines, state-behavior machines, and duality
• Algebra-coalgebra duality in Brzozowski's minimization algorithm
• Limits of small functors
• Minimal realization of machines in closed categories
• Minimization via duality
• On the definition of a family of automata
• Sequential?
• Subsequential transducers: a coalgebraic perspective
• Well-pointed coalgebras

Cited in

(5)

• scientific article; zbMATH DE number 7199591 (Why is no real title available?)
• Quantum temporal logic and reachability problems of matrix semigroups
• scientific article; zbMATH DE number 12815 (Why is no real title available?)
• Algebraic model checking for discrete linear dynamical systems
• scientific article; zbMATH DE number 3478775 (Why is no real title available?)

This page was built for publication:

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