On ω-Identities over finite aperiodic semigroups with commuting idempotents

On ω-Identities over finite aperiodic semigroups with commuting idempotents

The word problems for ω-terms over the pseudovariety of aperiodic semigroups with commuting idempotents and over the pseudovariety generated by finite aperiodic inverse semigroups are studied. The two problems have different solutions, thus showing that the two pseudovarieties are distinct, a result...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Branco, Mário J. J., Costa, José Carlos
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Aperiodic semigroup
Automaton
Ciências Naturais
Matemáticas
Pseudovariety
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The word problems for ω-terms over the pseudovariety of aperiodic semigroups with commuting idempotents and over the pseudovariety generated by finite aperiodic inverse semigroups are studied. The two problems have different solutions, thus showing that the two pseudovarieties are distinct, a result proven by Higgins and Margolis. FCT -Fundação para a Ciência e a Tecnologia (UID/MULTI/04621/2013)
DOI:10.1007/978-981-33-4842-4_11