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

• Type: Article in International Conference Proceedings Book
• Date: 2004

Authors

Almeida, J (Author) FCUP; Zeitoun, M (Author) Other

Conference proceedings International

Title: SEMIGROUPS AND LANGUAGES

Pages: 1-22

Workshop on Semigroups and Languages

Lisbon, PORTUGAL, NOV 27-29, 2002

Indexing

ISI Web of Knowledge - 2 Citations

Scientific classification

FOS: Natural sciences > Mathematics

Other information

Authenticus ID: 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.

Language: English

Type (Professor's evaluation): Scientific