מה הם מודליים חישוביים?

אוטומטים, דקדוקים, מכונת טיורינג, כל אלה הן דוגמאות למודלים חישוביים.

בפשטות, מבנה שבעזרתו ניתן לקבל סוג מסויים של פעולות או שפה.