Introduction to Languages, Machines, and Logic
| Author | : | |
| Rating | : | 4.58 (631 Votes) |
| Asin | : | 1852334649 |
| Format Type | : | paperback |
| Number of Pages | : | 351 Pages |
| Publish Date | : | 2016-02-10 |
| Language | : | English |
DESCRIPTION:
excellent! The author makes good use of graphics and careful wording to make his ideas clear. In the places where he is forced to wave his hands due to complexity beyond the scope of an introductory text, he explicitly indicates what he's doing. The text would be enhanced by the availability of on-line or standalone software permitting students to execute the algorithms and machines provided.
Aimed primarily at computer scientists rather than mathematicians, algorithms and proofs are presented informally through examples, and there are numerous exercises (many with solutions) and an extensive glossary.. A well-written and accessible introduction to the most important features of formal languages and automata theory. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representations, and this edition includes new and expanded coverage of topics such as: reduction and simplification of material on Turing machines; complexity and O notation; propositional logic and first order predicate logic
From the reviews: "The book is accessible to students with limited mathematical training … . Calude, Zentralblatt MATH, Vol. The book also includes comments on further readings and a good index." (Cristian S. The text is illustrated with nice pictures; there are many exercises and some of them have sketchy solutions grouped in a special section. 1041 (16), 2004)