A Concise Introduction to Languages and Machines

• Main Author: Parkes, Alan P. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London : Imprint: Springer, 2008.
• Series: Undergraduate Topics in Computer Science,
• Subjects: Computer science.; Programming languages (Electronic computers).; Computers.; Mathematical logic.; Computer mathematics.; Computer Science.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.; Computation by Abstract Devices.; Theory of Computation.; Computational Mathematics and Numerical Analysis.

This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines within Computer Science. The author follows the successful formula of his first book on this subject, this time making these core computing topics more fundamental and providing a...

Table of Contents:

• Languages and Machines
• Elements of Formal Languages
• Syntax, Semantics and Ambiguity
• Regular Languages and Finite State Recognisers
• Context Free Languages and Pushdown Recognisers
• Important Features of Regular and Context Free Languages
• Phrase Structure Languages and Turing Machines
• Machines and Computation
• Finite State Transducers
• Turing Machines as Computers
• Turing’s Thesis and the Universality of the Turing Machine
• Computability, Solvability and the Halting Problem
• Dimensions of Computation.