תבנית:עמוד ראשי/ספר נבחר

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי
קפיצה לניווט קפיצה לחיפוש
DFAexample.svg

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