This text addresses some theoretical issues surrounding computer science. It provides an introduction to the theory of computation, and covers programming languages, finite state machines, grammars,... This description may be from another edition of this product.