Infinite Words

Infinite Words
Author: Dominique Perrin
Publisher: Academic Press
Total Pages: 560
Release: 2004-02-18
Genre: Computers
ISBN: 9780125321112

Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the field, encouraged by its application to problems in computer science. Infinite Words is the first manual devoted to this topic. Infinite Words explores all aspects of the theory, including Automata, Semigroups, Topology, Games, Logic, Bi-infinite Words, Infinite Trees and Finite Words. The book also looks at the early pioneering work of Büchi, McNaughton and Schützenberger. Serves as both an introduction to the field and as a reference book. Contains numerous exercises desgined to aid students and readers. Self-contained chapters provide helpful guidance for lectures.

Logic and Automata

Logic and Automata
Author: Jörg Flum
Publisher: Amsterdam University Press
Total Pages: 737
Release: 2008
Genre: Mathematics
ISBN: 9053565760

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field.

Combinatorics on Words

Combinatorics on Words
Author: Robert Mercaş
Publisher: Springer Nature
Total Pages: 340
Release: 2019-09-02
Genre: Mathematics
ISBN: 3030287963

This book constitutes the refereed proceedings of the 12th International Conference on Combinatorics on Words, WORDS 2019, held in Loughborough, UK, in September 2019. The 21 revised full papers presented in this book together with 5 invited talks were carefully reviewed and selected from 34 submissions. WORDS is the main conference series devoted to the mathematical theory of words. In particular, the combinatorial, algebraic and algorithmic aspects of words are emphasized. Motivations may also come from other domains such as theoretical computer science, bioinformatics, digital geometry, symbolic dynamics, numeration systems, text processing, number theory, etc.

Combinatorics on Words

Combinatorics on Words
Author: Juhani Karhumäki
Publisher: Springer
Total Pages: 271
Release: 2013-08-15
Genre: Computers
ISBN: 3642405797

This book constitutes the refereed proceedings of the 9th International Conference on Combinatorics on Words, WORDS 2013, held in Turku, Finland, in September 2013 under the auspices of the EATCS. The 20 revised full papers presented were carefully reviewed and selected from 43 initial submissions. The central topic of the conference is combinatorics on words (i.e. the study of finite and infinite sequence of symbols) from varying points of view, including their combinatorial, algebraic and algorithmic aspects, as well as their applications.

The Logical Approach to Automatic Sequences

The Logical Approach to Automatic Sequences
Author: Jeffrey Shallit
Publisher: Cambridge University Press
Total Pages: 375
Release: 2022-09-29
Genre: Computers
ISBN: 1108745245

Learn how to automatically prove mathematical statements in combinatorics, sequences, and number theory.

Computer Science -- Theory and Applications

Computer Science -- Theory and Applications
Author: Farid Ablayev
Publisher: Springer Science & Business Media
Total Pages: 408
Release: 2010-06
Genre: Computers
ISBN: 3642131816

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. In parallel to the printed book, each new volume is published electronically in LNCS Online.

STACS 96

STACS 96
Author: Claude Puech
Publisher: Springer Science & Business Media
Total Pages: 710
Release: 1996-02-14
Genre: Computers
ISBN: 9783540609223

This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996. The 52 revised papers presented were selected from a total of 185 submissions; also included are three invited papers. The volume addresses all current aspects of theoretical computer science and is organized in sections on complexity theory, automata theory, parallel algorithms, learning, parallel and distributed systems, cryptography, logic and database theory, algorithms, semantics and program verification, and communication complexity.

From Christoffel Words to Markoff Numbers

From Christoffel Words to Markoff Numbers
Author: Christophe Reutenauer
Publisher:
Total Pages: 169
Release: 2019
Genre: Mathematics
ISBN: 0198827547

This book looks to expand on the relationship between Christoffel words and Markoff theory. Part 1 focuses on the classical theory of Markoff, while part II explores the more advanced and recent results around Christoffel words.