The dual equivalence of equations and coequations for automata

DOI10.1016/J.IC.2015.08.001zbMath1333.68184OpenAlexW2123724019MaRDI QIDQ498397

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

coalgebraequationcoequationtransition systemalgebraautomatonsyntactic monoiddual equivalence

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Related Items (6)

Regular Varieties of Automata and Coequations ⋮ Equations and Coequations for Weighted Automata ⋮ Nondeterministic fuzzy automata with membership values in complete residuated lattices ⋮ Duality of Equations and Coequations via Contravariant Adjunctions ⋮ Schützenberger Products in a Category ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Varieties and covarieties of languages (extended abstract)
• Formations of finite monoids and formal languages: Eilenberg's variety theorem revisited.
• Regular languages and Stone duality
• The Birkhoff theorem for finite algebras
• Adjoint machines, state-behavior machines, and duality
• Universal coalgebra: A theory of systems
• On the relevance of abstract algebra to control theory
• Stone Duality and the Recognisable Languages over an Algebra
• Brzozowski’s Algorithm (Co)Algebraically
• Minimization via Duality
• Checking NFA equivalence with bisimulations up to congruence
• Duality and Recognition
• Duality and Equational Theory of Regular Languages
• Some properties of disjunctive languages on a free monoid
• Varieties of Languages in a Category
• On finite monoids having only trivial subgroups
• Algebra-coalgebra duality in brzozowski's minimization algorithm
• Generalized Eilenberg Theorem I: Local Varieties of Languages
• Varieties of groups
• Derivatives of Regular Expressions

This page was built for publication: The dual equivalence of equations and coequations for automata