Games, equations and dot-depth two monoids
From MaRDI portal
Publication:1201097
DOI10.1016/0166-218X(92)90161-3zbMath0791.20068MaRDI QIDQ1201097
Publication date: 17 January 1993
Published in: Discrete Applied Mathematics (Search for Journal in Brave)
Formal languages and automata (68Q45) Varieties and pseudovarieties of semigroups (20M07) Semigroups in automata theory, linguistics, etc. (20M35)
Related Items (8)
Polynomial closure and unambiguous product ⋮ Inclusion relations between some congruences related to the dot-depth hierarchy ⋮ Equations on the semidirect product of a finite semilattice by a $\mathcal {J}$-trivial monoid of height $k$ ⋮ Equations and dot-depth one ⋮ Trees, congruences and varieties of finite semigroups ⋮ On semidirect and two-sided semidirect products of finite $\mathcal {J}$trivial monoids ⋮ Equations and monoid varieties of dot-depth one and two ⋮ On a complete set of generators for dot-depth two
Cites Work
- Categories as algebra: An essential ingredient in the theory of monoids
- First-order logic and star-free sets
- A generalization of the Schützenberger product of finite monoids
- Classifying regular events in symbolic logic
- The dot-depth hierarchy of star-free languages is infinite
- Games, equations and the dot-depth hierarchy
- Some logical characterizations of the dot-depth hierarchy and applications
- Finite semigroup varieties of the form V*D
- Dot-depth of star-free events
- Characterizations of locally testable events
- An application of games to the completeness problem for formalized theories
- An application of the Ehrenfeucht-Fraisse game in formal language theory
- On finite monoids having only trivial subgroups
- $ℵ_0$-categoricity of linear orderings
- On dot-depth two
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Games, equations and dot-depth two monoids
