𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Slightly Commutative Kleene Semigroups

✍ Scribed by C.P. Rupert

Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
285 KB
Volume
192
Category
Article
ISSN
0021-8693

No coin nor oath required. For personal study only.

✦ Synopsis

Commutative Kleene semigroups are known to be rational, but Pelletier constructed a nonrational weakly commutative Kleene semigroup. We introduce slightly commutative Kleene semigroups, a class of weakly commutative Kleene semigroups, and prove that every slightly commutative Kleene semigroup is rational.

πŸ“œ SIMILAR VOLUMES

Unification in Commutative Semigroups
Unification in Commutative Semigroups
✍ Andrzej Kisielewicz πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 161 KB

Unification is one of the basic concepts of automated theorem proving. It concerns such questions as finding solutions of finite sets of equations, determining if every solution comes from a most general solution, and if so, determining how many most general solutions are needed to generate all solu

Commutative Semigroups Which Are Semigro
Commutative Semigroups Which Are Semigroup Amalgamation Bases
✍ Kunitaka Shoji πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 371 KB

Ξ± -r e 2 s at , and bt β‰₯ Ξ± 2i-r e 2 Ξ± -r e 2 s at . Since Ξ± r e 1 a β‰₯ e 1 at, there exists v ∈ S such that at = Ξ± r e 1 av. Then e 1 sat . We can prove similarly the other inequations. Thus it follows from the equations above and Lemma 7(ii) that Ξ± 2i-r Ξ± -r e 2 s at = Ξ± 2i-r f 2 Ξ± -r f 2 s at . T