This book is based on the belief that theoretical computer science should be taught as the basis of applied sciences. Thus, much emphasis is devoted to illustrate how theoretical concepts can be exploited in practice. Besides traditional fields of the theory of
computation, such as automata and form languages, the book also covers formal semantics and formal analysis of computer programs, which are considered by the authors as basic for the computer scientist, as are automata and computation theory. |