The Logical Approach to Automatic Sequences

The Logical Approach to Automatic Sequences
Author :
Publisher : Cambridge University Press
Total Pages : 376
Release :
ISBN-10 : 9781108786973
ISBN-13 : 1108786979
Rating : 4/5 (979 Downloads)

Book Synopsis The Logical Approach to Automatic Sequences by : Jeffrey Shallit

Download or read book The Logical Approach to Automatic Sequences written by Jeffrey Shallit and published by Cambridge University Press. This book was released on 2022-09-30 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: Automatic sequences are sequences over a finite alphabet generated by a finite-state machine. This book presents a novel viewpoint on automatic sequences, and more generally on combinatorics on words, by introducing a decision method through which many new results in combinatorics and number theory can be automatically proved or disproved with little or no human intervention. This approach to proving theorems is extremely powerful, allowing long and error-prone case-based arguments to be replaced by simple computations. Readers will learn how to phrase their desired results in first-order logic, using free software to automate the computation process. Results that normally require multipage proofs can emerge in milliseconds, allowing users to engage with mathematical questions that would otherwise be difficult to solve. With more than 150 exercises included, this text is an ideal resource for researchers, graduate students, and advanced undergraduates studying combinatorics, sequences, and number theory.


The Logical Approach to Automatic Sequences Related Books

The Logical Approach to Automatic Sequences
Language: en
Pages: 376
Authors: Jeffrey Shallit
Categories: Computers
Type: BOOK - Published: 2022-09-30 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Automatic sequences are sequences over a finite alphabet generated by a finite-state machine. This book presents a novel viewpoint on automatic sequences, and m
Automatic Sequences
Language: en
Pages: 592
Authors: Jean-Paul Allouche
Categories: Computers
Type: BOOK - Published: 2003-07-21 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Uniting dozens of seemingly disparate results from different fields, this book combines concepts from mathematics and computer science to present the first inte
Implementation and Application of Automata
Language: en
Pages: 313
Authors: Benedek Nagy
Categories: Computers
Type: BOOK - Published: 2023-08-09 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 27th International Conference on Implementation and Application of Automata, CIAA 2023, held in Famagusta, North Cy
Combinatorics on Words
Language: en
Pages: 210
Authors: Thierry Lecroq
Categories: Mathematics
Type: BOOK - Published: 2021-09-06 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Combinatorics on Words, WORDS 2021, held virtually in September 2021. The
Combinatorics on Words
Language: en
Pages: 310
Authors: Anna Frid
Categories: Mathematics
Type: BOOK - Published: 2023-05-30 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 14th International Conference on Combinatorics on Words, WORDS 2023, held in UmeƄ, Sweden, during June 12