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

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Lady 6thofAu (συζήτηση | συνεισφορές)
μ To "Αστέρι Κλέινι" μετακινήθηκε στο "Αστέρι Κλήνυ": Στην Αγγλία προφέρεται Κλήνυ
Lady 6thofAu (συζήτηση | συνεισφορές)
μΧωρίς σύνοψη επεξεργασίας
Γραμμή 1:
Στα [[Μαθηματικά]], στην [[Λογική]], και στην [[Επιστήμη Υπολογιστών]], το '''Αστέρι ΚλέινιΚλήνυ''' (Kleene star), ή η '''κλειστότητα ΚλέινιΚλήνυ''' (Kleene closure), είναι μια πράξη με ένα όρισμα, που εφαρμόζεται σε [[Σύνολο|σύνολα]] συμβόλων ή χαρακτήρων ή σε [[Στοιχειοσειρά|στοιχειοσειρές]]. Η εφαρμογή του Αστεριού Κλέινι σε ένα σύνολο ''V'' συμβολίζεται ως ''V''*. Χρησιμοποιείται ευρύτατα για [[Κανονική έκφραση|κανονικές εκφράσεις]], αφού ειδικά για τον σκοπό αυτό το εισήγαγε ο [[Στέφεν ΚλέινιΚλήνυ]] (Stephen Kleene) όταν χαρακτήρισε ορισμένα [[Θεωρία αυτομάτων|αυτόματα]].
 
# Αν το ''V'' είναι ένα σύνολο στοιχειοσειρών, τότε το ''V''* ορίζεται ότι είναι το μικρότερο [[Υπερσύνολο|υπερσύνολο]] του ''V'' που περιέχει το ε (την κενή στοιχειοσειρά) και είναι [[Κλειστότητα|κλειστό]] στην πράξη [[Στοιχειοσειρά|συναλύσωση στοιχειοσειρών]]. Το σύνολο αυτό μπορεί επίσης να περιγραφεί ως ''το σύνολο των στοιχειοσειρών που μπορούν να δημιουργηθούν με συναλύσωση n στοιχειοσειρών του ''V'', με n >= 0''.