Duality and Equational Theory of Regular Languages
From MaRDI portal
Publication:3519505
DOI10.1007/978-3-540-70583-3_21zbMath1165.68049OpenAlexW2139845245MaRDI QIDQ3519505
Jean-Eric Pin, Serge Grigorieff, Mai Gehrke
Publication date: 19 August 2008
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70583-3_21
Applications of universal algebra in computer science (08A70) Algebraic theory of languages and automata (68Q70) Semigroups in automata theory, linguistics, etc. (20M35) Stone spaces (Boolean spaces) and related structures (06E15)
Related Items
Varieties and covarieties of languages (extended abstract), TOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES, Stone Duality and the Recognisable Languages over an Algebra, Dual Space of a Lattice as the Completion of a Pervin Space, Carathéodory extensions of subclasses of regular languages, Recognisable Languages over Monads, The Boolean Algebra of Piecewise Testable Languages, Measuring power of locally testable languages, Regular Varieties of Automata and Coequations, Classes of Languages Generated by the Kleene Star of a Word, Equations and Coequations for Weighted Automata, Ultrafilters on words for a fragment of logic, What makes a Stone topological algebra profinite, Locally countable pseudovarieties, Unnamed Item, Eilenberg's variety theorem without Boolean operations, Substitution Principle and semidirect products, Non-commutative Stone duality, A duality theoretic view on limits of finite structures, Identities in upper triangular tropical matrix semigroups and the bicyclic monoid, Iterated periodicity over finite aperiodic semigroups, Free Kleene algebras with domain, Generalized Eilenberg Theorem, Unnamed Item, On language varieties without Boolean operations, The dual equivalence of equations and coequations for automata, Bitopological duality for distributive lattices and Heyting algebras, Theme and Variations on the Concatenation Product, Canonical extensions: an algebraic approach to Stone duality, Anatomy of a domain of continuous random variables. I, From Haar to Lebesgue via Domain Theory, Anatomy of a Domain of Continuous Random Variables II, A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS, Duality of Equations and Coequations via Contravariant Adjunctions, Eilenberg Theorems for Free, Learning in the limit with lattice-structured hypothesis spaces, A Robust Class of Regular Languages, Unnamed Item, Classes of languages generated by the Kleene star of a word, Pro-aperiodic monoids via saturated models, A categorical duality for algebras of partial functions, Unnamed Item, Stone duality, topological algebra, and recognition., Unnamed Item, Profinite Monads, Profinite Equations, and Reiterman’s Theorem, Schützenberger Products in a Category, Difference hierarchies and duality with an application to formal languages, Varieties, Profinite topologies, Geometrically closed positive varieties of languages, Syntactic structures of regular languages, Quantifiers on languages and codensity monads, Canonical Extensions, Esakia Spaces, and Universal Models, Boolean algebras of regular languages, Unnamed Item
Cites Work
- Regular languages and Stone duality
- The Birkhoff theorem for finite algebras
- The Frattini sublattice of a distributive lattice
- Decomposition of the lattice of pseudovarieties of finite semigroups induced by bands
- A Reiterman theorem for pseudovarieties of finite first-order structures
- Varieties of complex algebras
- PROFINITE IDENTITIES FOR FINITE SEMIGROUPS WHOSE SUBGROUPS BELONG TO A GIVEN PSEUDOVARIETY
- Some results onC-varieties
- PROFINITE METHODS IN SEMIGROUP THEORY
- Representation of Distributive Lattices by means of ordered Stone Spaces
- The Theory of Representation for Boolean Algebras
- Applications of the Theory of Boolean Rings to General Topology
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
