Equational descriptions of languages

DOI10.1142/S0129054112400497MaRDI QIDQ4923277zbMATH OpenFDO

Authors Jean-Éric Pin

Publication date 6 June 2013

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0129054112400497

zbMATH Keywords

algebraic theory of languagesequational theoryregular languages

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Semigroups in automata theory, linguistics, etc. (20M35) Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Recommendations

• Equational descriptions of languages
• Duality and Equational Theory of Regular Languages
• scientific article; zbMATH DE number 2051829
• Duality and the equational theory of regular languages.
• scientific article; zbMATH DE number 2087210

Cites work

• A Reiterman theorem for pseudovarieties of finite first-order structures
• Actions, wreath products of \(\mathcal C\)-varieties and concatenation product.
• Automata on linear orderings
• Bases for equational theories of semi-groups
• Classifying regular events in symbolic logic
• Decomposition of the lattice of pseudovarieties of finite semigroups induced by bands
• First-order logic and star-free sets
• scientific article; zbMATH DE number 798167 (Why is no real title available?)
• On finite monoids having only trivial subgroups
• Polynomial closure and unambiguous product
• Polynomial closure of group languages and open sets of the Hall topology
• PROFINITE IDENTITIES FOR FINITE SEMIGROUPS WHOSE SUBGROUPS BELONG TO A GIVEN PSEUDOVARIETY
• Regular languages and Stone duality
• Regular languages in \(NC\)
• Some results on the generalized star-height problem
• Some results onC-varieties
• The Birkhoff theorem for finite algebras
• The Birkhoff theorem for varieties of finite algebras
• The expressive power of the shuffle product

Cited in

(23)

• A descriptive characterisation of even linear languages
• Classes of languages generated by the Kleene star of a word
• A topological approach to non-uniform complexity
• Languages associated with saturated formations of groups
• Ternary Equational Languages
• Duality and the equational theory of regular languages.
• scientific article; zbMATH DE number 2086254 (Why is no real title available?)
• Equations Defining the Polynomial Closure of a Lattice of Regular Languages
• scientific article; zbMATH DE number 3938585 (Why is no real title available?)
• scientific article; zbMATH DE number 177804 (Why is no real title available?)
• Algebraic and topological theory of languages
• scientific article; zbMATH DE number 1962779 (Why is no real title available?)
• scientific article; zbMATH DE number 1972793 (Why is no real title available?)
• scientific article; zbMATH DE number 1972804 (Why is no real title available?)
• scientific article; zbMATH DE number 2051829 (Why is no real title available?)
• Characterizing classes of regular languages using prefix codes of bounded synchronization delay
• Dual Space of a Lattice as the Completion of a Pervin Space
• A CHARACTERIZATION OF THE ARITHMETICAL HIERARCHY BY LANGUAGE EQUATIONS
• Equational descriptions of languages
• On the expressibility of languages by word equations with a bounded number of variables
• Stone duality, topological algebra, and recognition.
• Seventy years of algebraic, logical, and topological methods for regular languages
• Ultrafilters on words for a fragment of logic

This page was built for publication: Equational descriptions of languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4923277)