Preview: Introduction to the theory of computation

Main Author:	Sipser, Michael (Author)
Format:	Book
Language:	English
Published:	Australia: Thomson/Course Technology, 2006.
Edition:	Second edition (International Edition).
Subjects:	Sequential machine theory Recursive functions Formal languages