The dual equivalence of equations and coequations for automata

DOI10.1016/J.IC.2015.08.001MaRDI QIDQ498397zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

automatonalgebracoalgebracoequationequationsyntactic monoidtransition systemdual equivalence

Mathematics Subject Classification ID

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)

Recommendations

• Regular varieties of automata and coequations
• Varieties and covarieties of languages (extended abstract)
• Duality for some categories of coalgebras.
• Equations and coequations for weighted automata
• scientific article; zbMATH DE number 1304993

Cites work

• scientific article; zbMATH DE number 2086254 (Why is no real title available?)
• scientific article; zbMATH DE number 4218075 (Why is no real title available?)
• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 4028925 (Why is no real title available?)
• scientific article; zbMATH DE number 3495598 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3561239 (Why is no real title available?)
• scientific article; zbMATH DE number 4127287 (Why is no real title available?)
• scientific article; zbMATH DE number 1304993 (Why is no real title available?)
• scientific article; zbMATH DE number 2016845 (Why is no real title available?)
• scientific article; zbMATH DE number 798167 (Why is no real title available?)
• scientific article; zbMATH DE number 5268066 (Why is no real title available?)
• scientific article; zbMATH DE number 3254905 (Why is no real title available?)
• scientific article; zbMATH DE number 3319576 (Why is no real title available?)
• scientific article; zbMATH DE number 3365976 (Why is no real title available?)
• scientific article; zbMATH DE number 3019695 (Why is no real title available?)
• Adjoint machines, state-behavior machines, and duality
• Algebra-coalgebra duality in Brzozowski's minimization algorithm
• Brzozowski's algorithm (co)algebraically
• Checking NFA equivalence with bisimulations up to congruence
• Derivatives of Regular Expressions
• Duality and Equational Theory of Regular Languages
• Duality and recognition
• Elements of automata theory. Translated from the French by Reuben Thomas
• Formations of finite monoids and formal languages: Eilenberg's variety theorem revisited.
• Generalized Eilenberg theorem. I: Local varieties of languages
• Minimization via duality
• On finite monoids having only trivial subgroups
• On the relevance of abstract algebra to control theory
• Regular languages and Stone duality
• Some properties of disjunctive languages on a free monoid
• Stone duality and the recognisable languages over an algebra
• The Birkhoff theorem for finite algebras
• The \(\mathfrak q\)-theory of finite semigroups.
• Universal coalgebra: A theory of systems
• Varieties and covarieties of languages (extended abstract)
• Varieties of Languages in a Category
• Varieties of groups

Cited in

(10)

• Schützenberger products in a category
• Regular varieties of automata and coequations
• Equations and coequations for weighted automata
• Minimisation in logical form
• scientific article; zbMATH DE number 2150281 (Why is no real title available?)
• Duality of equations and coequations via contravariant adjunctions
• scientific article; zbMATH DE number 3992935 (Why is no real title available?)
• A categorical approach to syntactic monoids
• Nondeterministic fuzzy automata with membership values in complete residuated lattices
• Varieties and covarieties of languages (extended abstract)

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)