Εισαγωγή
- Ο σχεδιασμός και η υλοποίηση γλωσσικών εργαλείων υποστηρίζεται
από ένα ευρύ φάσμα θεωρητικής γνώσης.
- Αυτή περιλαμβάνει μεταξύ άλλων:
- τον αφηρημένο ορισμό μιας γλώσσας,
- τον ορισμό ενός αυτομάτου που μπορεί να αναγνωρίσει μια γλώσσα,
- τον ορισμό γραμματικών που περιγράφουν μια γλώσσα,
- την ισοδυναμία αυτομάτων και γλωσσών και
- αλγορίθμους για την αποδοτική υλοποίηση των παραπάνω.