scientific article; zbMATH DE number 7199591

zbMath1454.68069arXiv1712.07121MaRDI QIDQ5109522

Daniela Petrişan, Thomas Colcombet

Publication date: 12 May 2020

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

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

zbMATH Keywords

factorization systemfunctor categoryKleisli categoryautomata minimizationKan extensionfunctor automataBrzozowski minimization algorithmminimization of subsequential transducers

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Categories of machines, automata (18B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Subsequential transducers: a coalgebraic perspective
• Adjoint machines, state-behavior machines, and duality
• Universal coalgebra: A theory of systems
• Minimizing subsequential transducers: a survey.
• Quantaloids, enriched categories and automata theory
• Well-Pointed Coalgebras
• Brzozowski’s Algorithm (Co)Algebraically
• Minimization via Duality
• Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions
• Minimal realization of machines in closed categories
• The Sch\"utzenberger product for syntactic spaces
• Generalizing determinization from automata to coalgebras
• Algebra-coalgebra duality in brzozowski's minimization algorithm

This page was built for publication: