Συμβολισμοί
-  Αλφάβητο (alphabet): 
 - 
Πεπερασμένο σύνολο συμβόλων
 -  Συμβολοσειρά (string): 
 - 
Πεπερασμένη ακολουθία συμβόλων.  Το μήκος της συμβολοσειράς
χ συμβολίζεται ως |χ|.
 -  Κενή συμβολοσειρά (empty string): 
 - 
Συμβολοσειρά με μήκος 0.  Συμβολίζεται ως ε.
 -  Παράθεση (concatenation): 
 - 
Η δημιουργία μιας νέας συμβολοσειράς από δύο άλλες (x, y) με τη σειριακή παράθεση
των συμβόλων τους.  Συμβολίζεται ως xy
 -  Γλώσσα (language): 
 - 
Ένα υποσύνολο των συμβολοσειρών που μπορούν να δημιουργηθούν από ένα συγκεκριμένο
αλφάβητο.
 
Με βάση τον ορισμό της γλώσσας ορίζουμε: