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

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας
Lady 6thofAu (συζήτηση | συνεισφορές)
Γραμμή 71:
Για παράδειγμα, αν <math>L_{1}</math> και <math>L_{2}</math> είναι γλώσσες που ορίζονται πάνω σε ένα κοινό αλφάβητο, τότε:
 
*Η '''[[συναλύσωσησυμβολοσειρά#συνένωση|συνένωση]]''' (concatenation) <math>L_{1}L_{2}</math> αποτελείται από όλες τις στοιχειοσειρές μορφής <math>vw</math> όπου η <math>v</math> είναι στοιχειοσειρά της <math>L_{1}</math> και η <math>w</math> είναι στοιχειοσειρά της <math>L_{2}</math>.
*Η '''τομή''' (intersection) <math>L_1 \cap L_2</math> των <math>L_{1}</math> και <math>L_{2}</math> αποτελείται από όλες τις στοιχειοσειρές που ανήκουν και στις δύο γλώσσες.
*Η '''ένωση''' (union) <math>L_1 \cup L_2</math> της <math>L_{1}</math> με την <math>L_{2}</math> αποτελείται από όλες τις στοιχειοσειρές που περιέχονται στην <math>L_{1}</math> ή στην <math>L_{2}</math>.