A Concise Introduction to Languages and Machines

• Κύριος συγγραφέας: Parkes, Alan P. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2008.
• Σειρά: Undergraduate Topics in Computer Science,
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.