Logic and Language Models for Computer Science
This book invites the reader to explore abstractions that are crucial to computer science. The authors bring a sense of excitement to logics, formal languages and automata—motivating topics by linking them to computing and to computational applications, sometime with whole chapters. They achieve exceptional clarity through a plethora of examples and figures, yet without-losing sight of, and indeed celebrating, the precision that is the hallmark of this subject matter.Features of the book include:application of logic to program verificationprogramming in the logic language, Prologdiscussion of "why" and "how" to prove thingsrelationships between English and programming languagesdiagrams-first approach to automatalex as a tool and an extension of formal languagepushdown automata as parsing strategiesTuring machines as models of computation