Συμβολισμοί

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