Αστέρι Κλέινι: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Ρομπότ: Προσθήκη: pt:Fecho de Kleene |
→Τυπικές Γλώσσες: συναλύνωση -> συνένωση |
||
Γραμμή 5:
==Τυπικές Γλώσσες==
Εξ ορισμού το αστέρι Κλέινι είναι πράξη που μπορεί να εφαρμόζεται σε [[τυπική γλώσσα|τυπικές γλώσσες]]. Έστω γλώσσα <math>L</math>, τότε <math>L^*</math> είναι το σύνολο συμβολοσειρών που προκύπτει από τη
<math>L^* = \{ w \in \Sigma ^*\ \colon \ w_1 \circ \ ... \circ \ w_k \} </math> για κάποιο <math> k \ge 0 </math> και <math>w_1,\ ...,\ w_k \in L</math>
Γραμμή 11:
όπου w κάποια συμβολοσειρά.
Με βάση το Αστέρι Κλέινι ορίζεται και η πράξη που συμβολίζεται με <math>^+</math> και περιγράφει τη
<math>L^+ = \{ w \in \Sigma ^*\ \colon \ w_1 \circ \ ... \circ \ w_k \} </math> για κάποιο <math> k \ge 1 </math> και <math>w_1,\ ...,\ w_k \in L</math>
Γραμμή 20:
* <math>w</math> κάποια συμβολοσειρά.
Δηλαδή η '''<math>L^+</math>''' είναι η μικρότερη γλώσσα που περιέχει την <math>L</math> και όλες τις συμβολοσειρές που προκύπτουν με
==Παραδείγματα==
| |||