The dual equivalence of equations and coequations for automata
DOI10.1016/J.IC.2015.08.001zbMATH Open1333.68184OpenAlexW2123724019MaRDI QIDQ498397FDOQ498397
Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Jan J. M. M. Rutten
Publication date: 28 September 2015
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2015.08.001
Recommendations
Algebraic theory of languages and automata (68Q70) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Cites Work
- Elements of automata theory. Translated from the French by Reuben Thomas
- Derivatives of Regular Expressions
- Adjoint machines, state-behavior machines, and duality
- Universal coalgebra: A theory of systems
- On the relevance of abstract algebra to control theory
- Varieties and covarieties of languages (extended abstract)
- Brzozowski’s Algorithm (Co)Algebraically
- Checking NFA equivalence with bisimulations up to congruence
- Duality and Equational Theory of Regular Languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebra-coalgebra duality in brzozowski's minimization algorithm
- Varieties of groups
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On finite monoids having only trivial subgroups
- Title not available (Why is that?)
- Regular languages and Stone duality
- Formations of finite monoids and formal languages: Eilenberg's variety theorem revisited.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some properties of disjunctive languages on a free monoid
- The Birkhoff theorem for finite algebras
- Stone Duality and the Recognisable Languages over an Algebra
- Minimization via Duality
- Title not available (Why is that?)
- Duality and Recognition
- Title not available (Why is that?)
- Title not available (Why is that?)
- Varieties of Languages in a Category
- Generalized Eilenberg Theorem I: Local Varieties of Languages
- Title not available (Why is that?)
Cited In (9)
- Title not available (Why is that?)
- Regular Varieties of Automata and Coequations
- Equations and Coequations for Weighted Automata
- Title not available (Why is that?)
- Minimisation in logical form
- Duality of Equations and Coequations via Contravariant Adjunctions
- Schützenberger Products in a Category
- Nondeterministic fuzzy automata with membership values in complete residuated lattices
- Title not available (Why is that?)
This page was built for publication: The dual equivalence of equations and coequations for automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q498397)
