Formations of finite monoids and formal languages: Eilenberg's variety theorem revisited.

DOI10.1515/FORUM-2012-0055zbMath1310.20054OpenAlexW2030684198MaRDI QIDQ470234

Xaro Soler-Escrivà, Adolfo Ballester-Bolinches, Jean-Eric Pin

Publication date: 12 November 2014

Published in: Forum Mathematicum (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10045/50850

zbMATH Keywords

automata theorysemigroupsregular languagessubdirect productsEilenberg variety theoremformations of finite monoidsformations of languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Semigroups in automata theory, linguistics, etc. (20M35) Formations of groups, Fitting classes (20F17)

Related Items (22)

Analysis and design of \(H_\infty\) controllers for 2D singular systems with delays ⋮ A note on compact elements of the lattice of solubly saturated formations ⋮ Unnamed Item ⋮ Formations of inverse semigroups ⋮ Stability of 2D discrete Takagi-Sugeno systems ⋮ A positive extension of Eilenberg's variety theorem for non-regular languages ⋮ Laws of the lattices of \(\sigma \)-local formations of finite groups ⋮ On formations of monoids ⋮ Formations of orthodox semigroups ⋮ Algebraic lattices of solvably saturated formations and their applications ⋮ On classes of finite rings ⋮ Lattices of composition formations of finite groups and the laws ⋮ The dual equivalence of equations and coequations for automata ⋮ Frattini subformations of foliated formations of \(T\)-groups ⋮ Classes of monoids with applications: formations of languages and multiply local formations of finite groups ⋮ A Higher Version of Zappa Products for Monoids ⋮ Laws of the lattices of foliated formations of \(T\)-groups ⋮ Robust state feedback \(H_\infty \) control for uncertain 2-D continuous state delayed systems in the Roesser model ⋮ Formations of finite monoids and their applications: formations of languages and \(\tau \)-closed saturated formations of finite groups ⋮ Stone duality, topological algebra, and recognition. ⋮ The lattice properties of 𝔛-local formations of finite groups ⋮ Languages and formations generated by \(D_4\) and \(Q_8\)

This page was built for publication: Formations of finite monoids and formal languages: Eilenberg's variety theorem revisited.