scientific article; zbMATH DE number 7204386

DOI10.4230/LIPIcs.MFCS.2017.52zbMath1441.68138arXiv1711.06065MaRDI QIDQ5111267

Daniela Petrişan, Thomas Colcombet

Publication date: 26 May 2020

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automata minimization in a categoryhybrid set-vector automata

Mathematics Subject Classification ID

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

Related Items (2)

Unnamed Item ⋮ Algebraic model checking for discrete linear dynamical systems

Cites Work

• Unnamed Item
• Unnamed Item
• A coalgebraic perspective on linear weighted automata
• Subsequential transducers: a coalgebraic perspective
• Limits of small functors
• Adjoint machines, state-behavior machines, and duality
• Sequential?
• Well-Pointed Coalgebras
• A Coalgebraic Perspective on Minimization and Determinization
• Minimization via Duality
• On the definition of a family of automata
• Minimal realization of machines in closed categories
• Algebra-coalgebra duality in brzozowski's minimization algorithm

This page was built for publication: