Introduction to the theory of computation

• Main Author: Sipser, Michael
• Format: Book
• Language: English
• Published: Australia Thomson 1996
• Edition: 2nd ed.
• Subjects: Αλγόριθμοι; Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές; Λογική, Συμβολική και μαθηματική