In recent years, semigroups and languages have seen huge developments and found their motivation in other fields of mathematics as well as in computer science. This book is a collection of original contributions in those fields. The proceedings have been selected for coverage in: . OCo Index to Scientific & Technical Proceedings- (ISTP- / ISI Proceedings). OCo Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings). OCo CC Proceedings OCo Engineering & Physical Sciences."

In recent years, semigroups and languages have seen huge developments and found their motivation in other fields of mathematics as well as in computer science. This book is a collection of original contributions in those fields.The proceedings have been selected for coverage in:• Index to Scientific & Technical Proceedings® (ISTP® / ISI Proceedings)• Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings)• CC Proceedings — Engineering & Physical Sciences

In recent years, semigroups and languages have seen huge developments and found their motivation in other fields of mathematics as well as in computer science. This book is a collection of original contributions in those fields. The proceedings have been selected for coverage in:. Index to Scientific & Technical Proceedings® (ISTP® / ISI Proceedings). Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings). CC Proceedings Engineering & Physical Sciences.

The purpose of the Berkeley Workshop on Monoids was to give expository talks by the most qualified experts in the emerging main areas of monoid and semigroup theory including applications to theoretical computer science. This was supplemented with current research papers. The topics covered, in an accessible way for the mathematical and theoretical computer community, were: Kernels and expansions in semigroup theory; Implicit operations; Inverse monoids; Varieties of semigroups and universal algebra; Linear semigroups and monoids of Lie type; Monoids acting on tress; Synthesis theorem, regular semigroups, and applications; Type-II conjecture; Application to theoretical computer science and decision problems.

The thematic term on OC Semigroups, Algorithms, Automata and LanguagesOCO organized at the International Centre of Mathematics (Coimbra, Portugal) in MayOCoJuly 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. Contents: Finite Semigroups: An Introduction to a Unified Theory of Pseudovarieties (J Almeida); On Existence Varieties of Regular Semigroups (K Auinger); Varieties of Languages (M J J Branco); A Short Introduction to Automatic Group Theory (C Choffrut); Some Results on Semigroup-Graded Rings (W D Munn); Profinite Groups and Applications to Finite Semigroups (L Ribes); Dynamics of Finite Semigroups (J Almeida); Finite Semigroups Imposing Tractable Constraints (A Bulatov et al.); On the Efficiency and Deficiency of Rees Matrix Semigroups (C M Campbell et al.); Some Pseudovariety Joins Involving Groups and Locally Trivial Semigroups (J C Costa); Partial Action of Groups on Relational Structures: A Connection Between Model Theory and Profinite Topology (T Coulbois); Some Relatives of Automatic and Hyperbolic Groups (M Hoffmann et al.); A Sampler of a Topological Approach to Inverse Semigroups (B Steinberg); Finite Semigroups and the Logical Description of Regular Languages (H Straubing); Diamonds are Forever: The Variety DA (P Tesson & D Th(r)rien); Decidability Problems in Finite Semigroups (P G Trotter); and other papers. Readership: Researchers, academics and graduate students in pure mathematics and computer science."

There is algebraic structure in time, computation and biological systems. Algebraic engineering exploits this structure to achieve better understanding and design. In this book, pure and applied results in semigroups, language theory and algebra are applied to areas ranging from circuit design to software engineering to biological evolution.