Θεωρία υπολογισμού: Διαφορά μεταξύ των αναθεωρήσεων

Η θεωρία υπολογισμού για να φτάσει στα συμπεράσματα της αξιοποιεί το γνωστικό πεδίο των [[τυπική γλώσσα|τυπικών γλωσσών]], καθώς κάθε πρόβλημα δυνάμενο να επιλυθεί αλγοριθμικά μπορεί να εκφραστεί ως πρόβλημα ανάγνωσης ή παραγωγής μίας τυπικής γλώσσας. Αυτή η επικάλυψη της [[επιστήμη υπολογιστών|επιστήμης υπολογιστών]] με τη [[γλωσσολογία]] είχε ως αποτέλεσμα την ανάπτυξη [[συντακτική ανάλυση (υπολογιστές)|συντακτικών]] και [[λεκτική ανάλυση (υπολογιστές)|λεκτικών]] αναλυτών για την εύκολη κατασκευή [[μεταγλωττιστής|μεταγλωττιστών]].

 

{{Κύριο|Τυπική γραμματική}}