The equational theory of w-terms for finite R-trivial semigroups

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2004

Autores

Almeida, J (Autor) FCUP; Zeitoun, M (Autor) Outra

Ata de Conferência Internacional

Título: SEMIGROUPS AND LANGUAGES

Páginas: 1-22

Workshop on Semigroups and Languages

Lisbon, PORTUGAL, NOV 27-29, 2002

Indexação

ISI Web of Knowledge - 2 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Matemática

Outras Informações

ID Authenticus: P-000-DN3

DOI: 10.1142/9789812702616_0001

Abstract (EN): A new topological representation for free profinite R-trivial semigroups in terms of spaces of vertex-labeled complete binary trees is obtained. Such a tree may be naturally folded into a finite automaton if and only if the element it represents is an omega-term. The variety of omega-semigroups generated by all finite R-trivial semigroups, with the usual interpretation of the omega-power, is then studied. A simple infinite basis of identities is exhibited and a linear-time solution of the word problem for relatively free w-semigroups is presented. This work is also compared with recent work of Bloom and Choffrut on transfinite words.

Idioma: Inglês

Tipo (Avaliação Docente): Científica