Semigroups, Algorithms, Automata and Languages

by Gomes, Gracinda M. S.; Pin, Jean-Eric; Silva, Pedro V.

• ISBN13: 9789812380999
• ISBN10: 981238099X
• Format: Hardcover
• Copyright: 2003-02-01
• Publisher: Imperial College Pr

Summary

The thematic term on "Semigroups, Algorithms, Automata and Languages" organized at the International Centre of Mathematics (Coimbra, Portugal) in May-July 2001 was the gathering point for researchers working in the field of semigroups, algorithms, automata and languages. These areas were selected considering their huge recent developments, their potential applications, and the motivation from other fields of mathematics and computer science.This proceedings volume is a unique collection of advanced courses and original contributions on semigroups and their connections with logic, automata, languages, group theory, discrete dynamics, topology and complexity. A selection of open problems discussed during the thematic term is also included.

Table of Contents

Preface
Finite semigroups: An introduction to a unified theory of pseudovarieties	p. 3
On existence varieties of regular semigroups	p. 65
Varieties of languages	p. 91
A short introduction to automatic group theory	p. 133
An introduction to covers for semigroups	p. 155
E[superscript *]-unitary inverse semigroups	p. 195
Some results on semigroup-graded rings	p. 215
Profinite groups and applications to finite semigroups	p. 235
Dynamics of finite semigroups	p. 269
Group presentations for a class of radical rings of matrices	p. 293
Finite semigroups imposing tractable constraints	p. 313
On the efficiency and deficiency of Rees matrix semigroups	p. 331
Some pseudovariety joins involving groups and locally trivial semigroups	p. 341
Partial action of groups on relational structures: A connection between model theory and profinite topology	p. 349
Presentations for some monoids of partial transformations on a finite chain: A survey	p. 363
Some relatives of automatic and hyperbolic groups	p. 379
Operators on classes of regular languages	p. 407
Automata in autonomous varieties	p. 423
A sampler of a topological approach to inverse semigroups	p. 437
Finite semigroups and the logical description of regular languages	p. 463
Diamonds are forever: The variety DA	p. 475
Decidability problems in finite semigroups	p. 501
Table of Contents provided by Blackwell. All Rights Reserved.