R. Thomas's scientific contributions

Publication (1)

Article
Automata theory lies at the foundation of computer science, and is vital to a theoretical understanding of how computers work and what constitutes formal methods. This treatise gives a rigorous account of the topic and illuminates its real meaning by looking at the subject in a variety of ways. The first part of the book is organised around notions...

Citations

... We now briefly recall some basic facts about noncommutative formal power series and weighted automata. More information can be found in [8,11,12,32]. ...