scientific article; zbMATH DE number 7204386

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

Daniela Petrişan, Thomas Colcombet

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?)

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Subsequential transducers: a coalgebraic perspective
• Well-pointed coalgebras
• Minimal realization of machines in closed categories

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)