You might also like

More about Formal Languages, Automata and Numeration Systems Volume 2

• Book details
• Synopsis
• Trending among others

You get 431 loyalty points

Book synopsis

The interplay between words, computability, algebra andarithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata(such as that initiated by J.R. Buchi) or betweencombinatorics on words and number theory has paved the way torecent dramatic developments, for example, the transcendenceresults for the real numbers having a "simple" binaryexpansion, by B. Adamczewski and Y. Bugeaud.This book is at the heart of this interplay through a unifiedexposition. Objects are considered with a perspective that comesboth from theoretical computer science and mathematics. Theoreticalcomputer science offers here topics such as decision problems andrecognizability issues, whereas mathematics offers concepts such asdiscrete dynamical systems.The main goal is to give a quick access, for students andresearchers in mathematics or computer science, to actual researchtopics at the intersection between automata and formal languagetheory, number theory and combinatorics on words.The second of two volumes on this subject, this book coversregular languages, numeration systems, formal methods applied todecidability issues about infinite words and sets of numbers.

Book details

Book category Books in English Computing & information technology Computer science Computer architecture & logic design

• Full title: Formal Languages, Automata and Numeration Systems Volume 2
• Author: Michel Rigo
• Language: English
• Binding: Hardback
• Number of pages: 274
• EAN: 9781848217881
• ISBN: 1848217889
• ID: 05327372
• Publisher: ISTE Ltd and John Wiley & Sons Inc
• Weight: 570 g
• Dimensions: 240 × 165 × 21 mm
• Date of publishing: 04. November 2014

Trending among others

---

---

---