Finiteness and Regularity in Semigroups and Formal Languages


Book Description

This is a rigorous and self-contained monograph on a central topic in theoretical computer science. For the first time in book form, original results from the last ten years are presented, some previously unpublished, using combinatorial and algebraic methods. These are mainly based on combinatorics on words and especially on the theory of "unavoidable regularities." Researchers will find important new results on semigroups and formal languages, as well as various applications for these methods.




Semigroups And Formal Languages - Proceedings Of The International Conference


Book Description

This festschrift volume in honour of Donald B McAlister on the occasion of his 65th birthday presents papers from leading researchers in semigroups and formal languages. The contributors cover a number of areas of current interest: from pseudovarieties and regular languages to ordered groupoids and one-relator groups, and from semigroup algebras to presentations of monoids and transformation semigroups. The papers are accessible to graduate students as well as researchers seeking new directions for future work.




Semigroups and Formal Languages


Book Description

This festschrift volume in honour of Donald B McAlister on the occasion of his 65th birthday presents papers from leading researchers in semigroups and formal languages. The contributors cover a number of areas of current interest: from pseudovarieties and regular languages to ordered groupoids and one-relator groups, and from semigroup algebras to presentations of monoids and transformation semigroups. The papers are accessible to graduate students as well as researchers seeking new directions for future work.




Theory of Semi-Feasible Algorithms


Book Description

The primary goal of this book is unifying and making more widely accessible the vibrant stream of research - spanning more than two decades - on the theory of semi-feasible algorithms. In doing so it demonstrates the richness inherent in central notions of complexity: running time, nonuniform complexity, lowness, and NP-hardness. The book requires neither great mathematical maturity nor an extensive background in computational complexity theory or in computer science. Another aim of this book is to lay out a path along which the reader can quickly reach the frontiers of current research, and meet and engage the many exciting open problems in this area.




Semigroups and Formal Languages


Book Description

This festschrift volume in honour of Donald B McAlister on the occasion of his 65th birthday presents papers from leading researchers in semigroups and formal languages. The contributors cover a number of areas of current interest: from pseudovarieties and regular languages to ordered groupoids and one-relator groups, and from semigroup algebras to presentations of monoids and transformation semigroups. The papers are accessible to graduate students as well as researchers seeking new directions for future work.




Rings with Polynomial Identities and Finite Dimensional Representations of Algebras


Book Description

A polynomial identity for an algebra (or a ring) A A is a polynomial in noncommutative variables that vanishes under any evaluation in A A. An algebra satisfying a nontrivial polynomial identity is called a PI algebra, and this is the main object of study in this book, which can be used by graduate students and researchers alike. The book is divided into four parts. Part 1 contains foundational material on representation theory and noncommutative algebra. In addition to setting the stage for the rest of the book, this part can be used for an introductory course in noncommutative algebra. An expert reader may use Part 1 as reference and start with the main topics in the remaining parts. Part 2 discusses the combinatorial aspects of the theory, the growth theorem, and Shirshov's bases. Here methods of representation theory of the symmetric group play a major role. Part 3 contains the main body of structure theorems for PI algebras, theorems of Kaplansky and Posner, the theory of central polynomials, M. Artin's theorem on Azumaya algebras, and the geometric part on the variety of semisimple representations, including the foundations of the theory of Cayley–Hamilton algebras. Part 4 is devoted first to the proof of the theorem of Razmyslov, Kemer, and Braun on the nilpotency of the nil radical for finitely generated PI algebras over Noetherian rings, then to the theory of Kemer and the Specht problem. Finally, the authors discuss PI exponent and codimension growth. This part uses some nontrivial analytic tools coming from probability theory. The appendix presents the counterexamples of Golod and Shafarevich to the Burnside problem.




Handbook of Formal Languages


Book Description

This uniquely authoritative and comprehensive handbook is the first to cover the vast field of formal languages, as well as its traditional and most recent applications to such diverse areas as linguistics, developmental biology, computer graphics, cryptology, molecular genetics, and programming languages. No other work comes even close to the scope of this one. The editors are extremely well-known theoretical computer scientists, and each individual topic is presented by the leading authorities in the particular field. The maturity of the field makes it possible to include a historical perspective in many presentations. The work is divided into three volumes, which may be purchased as a set.




Algorithmic Combinatorics on Partial Words


Book Description

The discrete mathematics and theoretical computer science communities have recently witnessed explosive growth in the area of algorithmic combinatorics on words. The next generation of research on combinatorics of partial words promises to have a substantial impact on molecular biology, nanotechnology, data communication, and DNA computing. Delving




Developments in Language Theory


Book Description

This book constitutes the refereed proceedings of the 10th International Conference on Developments in Language Theory, DLT 2006, held in Santa Barbara, CA, June 2006. The book presents 36 revised full papers together with 4 invited papers. All important issues in language theory are addressed including grammars, acceptors and transducers for strings, trees, graphs, arrays; efficient text algorithms; algebraic theories for automata and languages; and more.




The Concise Handbook of Algebra


Book Description

It is by no means clear what comprises the "heart" or "core" of algebra, the part of algebra which every algebraist should know. Hence we feel that a book on "our heart" might be useful. We have tried to catch this heart in a collection of about 150 short sections, written by leading algebraists in these areas. These sections are organized in 9 chapters A, B, . . . , I. Of course, the selection is partly based on personal preferences, and we ask you for your understanding if some selections do not meet your taste (for unknown reasons, we only had problems in the chapter "Groups" to get enough articles in time). We hope that this book sets up a standard of what all algebraists are supposed to know in "their" chapters; interested people from other areas should be able to get a quick idea about the area. So the target group consists of anyone interested in algebra, from graduate students to established researchers, including those who want to obtain a quick overview or a better understanding of our selected topics. The prerequisites are something like the contents of standard textbooks on higher algebra. This book should also enable the reader to read the "big" Handbook (Hazewinkel 1999-) and other handbooks. In case of multiple authors, the authors are listed alphabetically; so their order has nothing to do with the amounts of their contributions.