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

Στα [[Μαθηματικά]], στην [[Λογική]], και στην [[Επιστήμη Υπολογιστών]], το '''Αστέρι Κλέινι''' (Kleene star), ή η '''κλειστότητα Κλέινι''' (Kleene closure), είναι μια [[πράξη (μαθηματικά)|πράξη]] [[μοναδιαία πράξη|με ένα όρισμα]], που εφαρμόζεται σε [[Σύνολο|σύνολα]] συμβόλων ή χαρακτήρων ή σε [[Στοιχειοσειρά|στοιχειοσειρές]]. Η εφαρμογή του Αστεριού Κλέινι σε ένα σύνολο ''V'' συμβολίζεται ως ''V''*. Χρησιμοποιείται ευρύτατα για [[Κανονική έκφραση|κανονικές εκφράσεις]], αφού ειδικά για το σκοπό αυτόν το εισήγαγε ο [[Στέφεν Κλέινι]] (Stephen Kleene)<ref>Σημειώνεται ότι αν και η προφορά του ονόματός του θα αναμενόταν να είναι '''Κλίνι''', ο ίδιος χρησιμοποιούσε τη προφορά '''Κλέινι'''</ref>, όταν χαρακτήρισε ορισμένα [[Θεωρία αυτομάτων|αυτόματα]].

''Μονοειδές'' είναι ένα σύνολο ''M'', για τα στοιχεία του οποίου είναι ορισμένη μιά ''[[πράξη (μαθηματικά)]]'' [[δυαδική πράξη|με δύο ορίσματα]] '.', η οποία έχει τις εξής ιδιότητες :

* ([[Προσεταιριστική ιδιότητα|Προσεταιρισμός]]) : για κάθε ''a'', ''b'' και ''c'' που ανήκουν στο ''M'' ισχύει ότι ((''a'' . ''b'') . ''c'') = (''a'' . (''b'' . ''c''))