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