Structural Theory Of Automata Semigroups And Universal Algebra
Download Structural Theory Of Automata Semigroups And Universal Algebra PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Structural Theory Of Automata Semigroups And Universal Algebra book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Structural Theory of Automata, Semigroups, and Universal Algebra
Author: Valery B. Kudryavtsev
language: en
Publisher: Springer Science & Business Media
Release Date: 2006-01-18
Several of the contributions to this volume bring forward many mutually beneficial interactions and connections between the three domains of the title. Developing them was the main purpose of the NATO ASI summerschool held in Montreal in 2003. Although some connections, for example between semigroups and automata, were known for a long time, developing them and surveying them in one volume is novel and hopefully stimulating for the future. Another aspect is the emphasis on the structural theory of automata that studies ways to contstruct big automata from small ones. The volume also has contributions on top current research or surveys in the three domains. One contribution even links clones of universal algebra with the computational complexity of computer science. Three contributions introduce the reader to research in the former East block.
Structural Theory of Automata, Semigroups, and Universal Algebra
Semigroups, Automata, Universal Algebra, Varieties
Finite Semigroups And Universal Algebra
Motivated by applications in theoretical computer science, the theory of finite semigroups has emerged in recent years as an autonomous area of mathematics. It fruitfully combines methods, ideas and constructions from algebra, combinatorics, logic and topology. In simple terms, the theory aims at a classification of finite semigroups in certain classes called “pseudovarieties”. The classifying characteristics have both structural and syntactical aspects, the general connection between them being part of universal algebra. Besides providing a foundational study of the theory in the setting of arbitrary abstract finite algebras, this book stresses the syntactical approach to finite semigroups. This involves studying (relatively) free and profinite free semigroups and their presentations. The techniques used are illustrated in a systematic study of various operators on pseudovarieties of semigroups.