Αστέρι Κλέινι: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μΧωρίς σύνοψη επεξεργασίας |
|||
Γραμμή 1:
Στα [[Μαθηματικά]], στην [[Λογική]], και στην [[Επιστήμη Υπολογιστών]], το '''Αστέρι Κλήνυ''' (Kleene star), ή η '''κλειστότητα Κλήνυ''' (Kleene closure), είναι μια πράξη με ένα όρισμα, που εφαρμόζεται σε [[Σύνολο|σύνολα]] συμβόλων ή χαρακτήρων ή σε [[Στοιχειοσειρά|στοιχειοσειρές]]. Η εφαρμογή του Αστεριού
# Αν το ''V'' είναι ένα σύνολο στοιχειοσειρών, τότε το ''V''* ορίζεται ότι είναι το μικρότερο [[Υπερσύνολο|υπερσύνολο]] του ''V'' που περιέχει το ε (την κενή στοιχειοσειρά) και είναι [[Κλειστότητα|κλειστό]] στην πράξη [[Στοιχειοσειρά|συναλύσωση στοιχειοσειρών]]. Το σύνολο αυτό μπορεί επίσης να περιγραφεί ως ''το σύνολο των στοιχειοσειρών που μπορούν να δημιουργηθούν με συναλύσωση n στοιχειοσειρών του ''V'', με n >= 0''.▼
==Ορισμός==
▲#
# Επί ενός αλφαβήτου '''<math>\Sigma</math>''', ως '''<math>\Sigma ^*</math>''' ορίζεται το σύνολο όλων των [[συμβολοσειρά|συμβολοσειρών]] που δημιουργούνται με τα σύμβολα του '''<math>\Sigma</math>''', περιλαμβάνοντας και την κενή συμβολοσειρά.
==Παραδείγματα==
| |||