The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut

by Jeffrey Shallit

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...

• Format: Paperback
• Language: English
• ISBN: 1108745245
• ISBN13: 9781108745246
• Release Date: December 2022
• Publisher: Cambridge University Press
• Length: 374 Pages
• Weight: 1.20 lbs.
• Dimensions: 0.9" x 5.9" x 8.9"