תבנית:עמוד ראשי/ספר נבחר/12
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/9d/DFAexample.svg/130px-DFAexample.svg.png)
הספר אוטומטים ושפות פורמליות עוסק בשאלה "מהן היכולת של מחשב"? הקורס מגדיר מודלים מתמטייים של מכונות חישוב למיניהן: החל ממכונות מצבים מאד מאד פשוטות, וכלה במודל "חזק" שהינו שקול (מבחינת "כח החישוב" שלו) לכל מחשב "רגיל". תכונותיהן של המכונות השונות נחקרות עד להבנת "כח החישוב" שלהן.