תבנית:עמוד ראשי/ספר נבחר
הספר אוטומטים ושפות פורמליות עוסק בשאלה "מהן היכולת של מחשב"? הקורס מגדיר מודלים מתמטייים של מכונות חישוב למיניהן: החל ממכונות מצבים מאד מאד פשוטות, וכלה במודל "חזק" שהינו שקול (מבחינת "כח החישוב" שלו) לכל מחשב "רגיל". תכונותיהן של המכונות השונות נחקרות עד להבנת "כח החישוב" שלהן.