scientific article; zbMATH DE number 7204386

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

Authors: Thomas Colcombet, Daniela Petrişan 

Publication date: 26 May 2020

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

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 7199591
• scientific article; zbMATH DE number 6917169
• scientific article; zbMATH DE number 3856417
• scientific article; zbMATH DE number 46168

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

• Adjoint machines, state-behavior machines, and duality
• A Coalgebraic Perspective on Minimization and Determinization
• Algebra-coalgebra duality in Brzozowski's minimization algorithm
• On the definition of a family of automata
• A coalgebraic perspective on linear weighted automata
• Sequential?
• Limits of small functors
• Minimization via duality
• Title not available (Why is that?)
• Subsequential transducers: a coalgebraic perspective
• Well-pointed coalgebras
• Minimal realization of machines in closed categories
• Title not available (Why is that?)

Cited In (5)

• Algebraic model checking for discrete linear dynamical systems
• Title not available (Why is that?)
• Quantum temporal logic and reachability problems of matrix semigroups
• Title not available (Why is that?)
• Title not available (Why is that?)

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)