Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions
Author | : | |
Rating | : | 4.71 (886 Votes) |
Asin | : | 0387969055 |
Format Type | : | paperback |
Number of Pages | : | 316 Pages |
Publish Date | : | 2017-07-15 |
Language | : | English |
DESCRIPTION:
"Brillliant and Alluring!" according to jose c. ingojo. I love this book. Richard Buchi has a very fresh and unique approach to the subject that I find absolutely en-trancing. It is easy to get caught up in the theory as he builds it slowly, methodically, but elegantly. Most of all, the theory he builds is very beautiful and joyful to behold. I highly recommend this book to anyone who wants to expand. this book needs another book to explain it not as i expected to be
Many of the results are known by now, but to work further along this line presents a challenging research program on the borderline between universal algebra, term rewriting systems, and automata theory. He aimed for a mathematical theory of terms, but could not finish the book. Many results, like his work on structure lattices or his characterization of regular sets by generalized regular rules, are unknown to a wider audience. In the second part of the book he extends the theory to general (non-unary, many-sorted) algebras, term rewriting systems, tree automata, and pushdown automata. The author, who died in 1984, is well-known both as a person and through his research in mathematical logic and theoretical computer science. In this way he covers the basic theory