The research results published in this set of proceedings range from pure semigroup theory to theoretical computer science, in particular formal languages and automata. Contributed by internationally recognized researchers, the papers address issues in the algebraic and combinatorial theories of semigroups, the structure theory of automata, the classification theory of formal languages and codes and applications of these theories to various areas like circuit testing, coding theory, or cryptography. The underlying theme is the semigroup and automaton theories and their role in certain applications.
The topics included in this proceedings cover both mathematics and computer science. They include Codes, Free Monoids, Transformation Semigroups, Automata, Formal Languages, Word Problems, Orders and Combinatorics. Attention is paid to the algebraic theories of codes and rewriting systems, which are the key subjects that combine these two fields. The number of papers in the proceedings exceeds 45 and all papers have been refereed.
This volume brings together the work of several prominent researchers who have collaborated with Janusz Brzozowski, or worked in topics he developed, in the areas of regular languages, syntactic semigroups of formal languages, the dot-depth hierarchy, and formal modeling of circuit testing and software specification using automata theory.
The research results published in this volume range from pure mathematical theory (semigroup theory, discrete mathematics, and so on) to theoretical computer science, in particular formal languages and automata. The papers are the proceedings of the Third International Colloquium on Words, Languages and Combinatorics, and they address issues in the algebraic and combinatorial theories of semigroups, words and languages, the structure theory of automata, the classification theory of formal languages and codes, and applications of these theories to various areas, like quantum and molecular computing, coding theory, and cryptography.
Investigates automata networks as algebraic structures and develops their theory in line with other algebraic theories, such as those of semigroups, groups, rings, and fields. The authors also investigate automata networks as products of automata, that is, as compositions of automata obtained by cascading without feedback or with feedback of various restricted types or, most generally, with the feedback dependencies controlled by an arbitrary directed graph. They survey and extend the fundamental results in regard to automata networks, including the main decomposition theorems of Letichevsky, of Krohn and Rhodes, and of others.
An aid for reseaching non-western cultures, the Bibliographic Guide to East Asian Studies covers Japan, China, North and South Korea, Honk Kong, and Taiwan, with approximately 3,500 listings from LC MARC tapes and the Oriental Division of The New York Public Library. It includes publications about East Asia; materials published in any of the relevant countries; and publications in the Chinese, Japanese and Korean languages. Listings are transcribed into Anglicised characters. Each entry provides complete bibliographic information, along with the NYPL and/or LC call numbers.
The theory of formal languages is one of the oldest branches of theoretical computer science. Its original aim (in the fifties and sixties) was to clarify the laws and algorithms that underlie the definition and compilation of programming languages. Since then, formal language theory has changed very much. Today it includes mathematical topics like combinatorics of words, word equations, and coding theory, but it also covers connections to linguistics (for example, the study of contextual grammars), new computational paradigms (like DNA computing), and a wide range of applications, among them hypertext processing, database theory, and formal program verification. Many of these themes of modern formal language theory are represented in this volume.
This book constitutes the refereed proceedings of the 14th International Conference on Combinatorics on Words, WORDS 2023, held in Umeå, Sweden, during June 12–16, 2023. The 19 contributed papers presented in this book were carefully reviewed and selected from 28 submissions. In addition, the volume also contains 3 invited papers. WORDS is the main conference series devoted to combinatorics on words. This area is connected to several topics from computer science and mathematics, including string algorithms, automated proofs, discrete dynamics, number theory and, of course, classical combinatorics
Recent years have seen an explosion of new mathematical results on learning and processing in neural networks. This body of results rests on a breadth of mathematical background which even few specialists possess. In a format intermediate between a textbook and a collection of research articles, this book has been assembled to present a sample of these results, and to fill in the necessary background, in such areas as computability theory, computational complexity theory, the theory of analog computation, stochastic processes, dynamical systems, control theory, time-series analysis, Bayesian analysis, regularization theory, information theory, computational learning theory, and mathematical statistics. Mathematical models of neural networks display an amazing richness and diversity. Neural networks can be formally modeled as computational systems, as physical or dynamical systems, and as statistical analyzers. Within each of these three broad perspectives, there are a number of particular approaches. For each of 16 particular mathematical perspectives on neural networks, the contributing authors provide introductions to the background mathematics, and address questions such as: * Exactly what mathematical systems are used to model neural networks from the given perspective? * What formal questions about neural networks can then be addressed? * What are typical results that can be obtained? and * What are the outstanding open problems? A distinctive feature of this volume is that for each perspective presented in one of the contributed chapters, the first editor has provided a moderately detailed summary of the formal results and the requisite mathematical concepts. These summaries are presented in four chapters that tie together the 16 contributed chapters: three develop a coherent view of the three general perspectives -- computational, dynamical, and statistical; the other assembles these three perspectives into a unified overview of the neural networks field.
This book and CD-ROM cover the breadth of contemporary finite state language modeling, from mathematical foundations to developing and debugging specific grammars.
