Αστέρι Κλέινι: Διαφορά μεταξύ των αναθεωρήσεων

Δηλαδή η '''<math>L^+</math>''' είναι η μικρότερη γλώσσα που περιέχει την <math>L</math> και όλες τις συμβολοσειρές που προκύπτουν με συνένωση (concatenation). Σημειώνεται ότι <math>L^+</math> είναι η [[κλειστότητα]] της <math>L^+</math> υπό την πράξη της [[Συμβολοσειρά|συνένωσης]]. <ref> H.R. Lewis, C.H. Papadimitriou, ''Elements of the Theory of Computation'', Prentice Hall, 2nd Edition, σελ.45-46 </ref>

Αν το ''V'' είναι ένα [[Υποσύνολο|υποσύνολο]] του ''M'', τότε το ''V''* ορίζεται ως το μικρότερο [[Υπερσύνολο|υπερσύνολο]] του ''V'' που περιέχει το &epsilon; (την κενή στοιχειοσειρά) και είναι κλειστό για την περιγραφείσα πράξη. Το ''V''* είναι επίσης ένα μονοειδές, και ονομάζεται ''μονοειδές παραγόμενο από το V''.