Profinite Semigroups And Symbolic Dynamics

This book describes the relation between profinite semigroups and symbolic dynamics. Profinite semigroups are topological semigroups which are compact and residually finite. In particular, free profinite semigroups can be seen as the completion of free semigroups with respect to the profinite metric. In this metric, two words are close if one needs a morphism on a large finite monoid to distinguish them. The main focus is on a natural correspondence between minimal shift spaces (closed shift-invariant sets of two-sided infinite words) and maximal J-classes (certain subsets of free profinite semigroups). This correspondence sheds light on many aspects of both profinite semigroups and symbolic dynamics. For example, the return words to a given word in a shift space can be related to the generators of the group of the corresponding J-class. The book is aimed at researchers and graduate students in mathematics or theoretical computer science.

Semigroups, Automata, Universal Algebra, Varieties

Elementary introduction to symbolic dynamics, updated to describe the main advances in the subject since the original publication in 1995.

Introducing Stone–Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introduction to the algebraic, topological, logical, and categorical aspects of the theory, the book covers two advanced applications in computer science, namely in domain theory and automata theory. These topics are at the forefront of active research seeking to unify semantic methods with more algorithmic topics in finite model theory. Frequent exercises punctuate the text, with hints and references provided.

This is the first self-contained exposition of the connections between symbolic dynamical systems, dimension groups and Bratteli diagrams.

Gromov's theory of hyperbolic groups have had a big impact in combinatorial group theory and has deep connections with many branches of mathematics suchdifferential geometry, representation theory, ergodic theory and dynamical systems. This book is an elaboration on some ideas of Gromov on hyperbolic spaces and hyperbolic groups in relation with symbolic dynamics. Particular attention is paid to the dynamical system defined by the action of a hyperbolic group on its boundary. The boundary is most oftenchaotic both as a topological space and as a dynamical system, and a description of this boundary and the action is given in terms of subshifts of finite type. The book is self-contained and includes two introductory chapters, one on Gromov's hyperbolic geometry and the other one on symbolic dynamics. It is intended for students and researchers in geometry and in dynamical systems, and can be used asthe basis for a graduate course on these subjects.

Worked problems offer an interesting way to learn and practice with key concepts of string algorithms and combinatorics on words.

This book constitutes the proceedings of the 22nd International Conference on Developments in Language Theory, DLT 2018, held in Tokyo, Japan, in September 2018. The 39 full papers presented in this volume were carefully reviewed and selected from 84 submissions. The papers cover the following topics and areas: combinatorial and algebraic properties of words and languages; grammars, acceptors and transducers for strings, trees, graphics, arrays; algebraic theories for automata and languages; codes; efficient text algorithms; symbolic dynamics; decision problems; relationships to complexity theory and logic; picture description and analysis, polyominoes and bidimensional patterns; cryptography; concurrency; celluar automata; bio-inspired computing; quantum computing.