Jeffrey Shallit - Böcker
Visar alla böcker från författaren Jeffrey Shallit. Handla med fri frakt och snabb leverans.
7 produkter
7 produkter
Del 23 - Australian Mathematical Society Lecture Series
Neverending Fractions
An Introduction to Continued Fractions
Häftad, Engelska, 2014
485 kr
Skickas inom 7-10 vardagar
Despite their classical nature, continued fractions are a neverending research area, with a body of results accessible enough to suit a wide audience, from researchers to students and even amateur enthusiasts. Neverending Fractions brings these results together, offering fresh perspectives on a mature subject. Beginning with a standard introduction to continued fractions, the book covers a diverse range of topics, from elementary and metric properties, to quadratic irrationals, to more exotic topics such as folded continued fractions and Somos sequences. Along the way, the authors reveal some amazing applications of the theory to seemingly unrelated problems in number theory. Previously scattered throughout the literature, these applications are brought together in this volume for the first time. A wide variety of exercises guide readers through the material, which will be especially helpful to readers using the book for self-study, and the authors also provide many pointers to the literature.
1 213 kr
Skickas inom 7-10 vardagar
Uniting dozens of seemingly disparate results from different fields, this book combines concepts from mathematics and computer science to present the first integrated treatment of sequences generated by 'finite automata'. The authors apply the theory to the study of automatic sequences and their generalizations, such as Sturmian words and k-regular sequences. And further, they provide applications to number theory (particularly to formal power series and transcendence in finite characteristic), physics, computer graphics, and music. Starting from first principles wherever feasible, basic results from combinatorics on words, numeration systems, and models of computation are discussed. Thus this book is suitable for graduate students or advanced undergraduates, as well as for mature researchers wishing to know more about this fascinating subject. Results are presented from first principles wherever feasible, and the book is supplemented by a collection of 460 exercises, 85 open problems, and over 1600 citations to the literature.
821 kr
Skickas inom 7-10 vardagar
Written for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free languages, parsing and recognition, Turing machines, and other language classes. Many topics often absent from other textbooks, such as repetitions in words, state complexity, the interchange lemma, 2DPDAs, and the incompressibility method, are covered here. The author places particular emphasis on the resources needed to represent certain languages. The book also includes a diverse collection of more than 200 exercises, suggestions for term projects, and research problems that remain open.
Del 482 - London Mathematical Society Lecture Note Series
The Logical Approach to Automatic Sequences
Exploring Combinatorics on Words with Walnut
Häftad, Engelska, 2022
968 kr
Skickas inom 7-10 vardagar
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.
Del 9118 - Lecture Notes in Computer Science
Descriptional Complexity of Formal Systems
17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Häftad, Engelska, 2015
538 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. Descriptional complexity serves as a theoretical representation of physical realizations, such as the engineering complexity of computer software and hardware.
Del 9777 - Lecture Notes in Computer Science
Descriptional Complexity of Formal Systems
18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
Häftad, Engelska, 2016
538 kr
Skickas inom 10-15 vardagar
his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016.
Role Of Theory In Computer Science, The: Essays Dedicated To Janusz Brzozowski
Inbunden, Engelska, 2017
1 601 kr
Skickas inom 3-6 vardagar
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.