Designed to cover the standard theory of computing topics through a strong emphasis on practical applications rather than theorems and proofs. Finite automata, ... » 

Designed to cover the standard theory of computing topics through a strong emphasis on practical applications rather than theorems and proofs. Finite automata, Turing machines, models of computation, complexity, solvability, and other topics that form a foundation of modern programming are discussed -first with a gentle theoretical orientation, and then applied through programming code and practical examples. JFLAP projects and applications are integrated throughout the book, and C# is used for all code. «