Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

of

ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 4.4 Slide 1
Upcoming SlideShare
ΠΛΗ30 ΜΑΘΗΜΑ 4.4
Next
Download to read offline and view in fullscreen.

0 Likes

Share

Download to read offline

ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 4.4

Download to read offline

Γλώσσες Χωρίς Συμφραζόμενα
Κλειστότητες Γλωσσών Χωρίς Συμφραζόμενα

Related Audiobooks

Free with a 30 day trial from Scribd

See all
  • Be the first to like this

ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 4.4

  1. 1. ΓΛΩΣΣΕΣ ΧΩΡΙΣ ΣΥΜΦΡΑΖΟΜΕΝΑΚΛΕΙΣΤΟΤΗΤΕΣ ΠΡΑΞΕΩΝ στις Γ.Χ.Σ. Θεώρημα: Οι γλώσσες χωρίς συμφραζόμενα είναι κλειστές στις πράξεις: Ένωση, Παράθεση, Αστέρι Kleene. Θεώρημα: Οι γλώσσες χωρίς συμφραζόμενα ΔΕΝ είναι κλειστές στις πράξεις: Συμπλήρωμα, Τομή Κλειστότητα των Γ.Χ.Σ στην Ένωση • Η L είναι Ανεξάρτητη Συμφραζομένων, άρα παράγεται από μία γραμματική χωρίς συμφραζόμενα, έστω με αρχικό κανόνα S . Η L είναι Ανεξάρτητη Συμφραζομένων, άρα παράγεται από μία γραμματική χωρίς συμφραζόμενα, έστω με αρχικό κανόνα S • Η L ∪ L παράγεται από την γραμματική χωρίς συμφραζόμενα με αρχικό κανόνα → | άρα είναι χωρίς συμφραζόμενα Κλειστότητα των Γ.Χ.Σ στην Παράθεση • Η L είναι Ανεξάρτητη Συμφραζομένων, άρα παράγεται από μία γραμματική χωρίς συμφραζόμενα, έστω με αρχικό κανόνα S . Η L είναι Ανεξάρτητη Συμφραζομένων, άρα παράγεται από μία γραμματική χωρίς συμφραζόμενα, έστω με αρχικό κανόνα S • Η L L παράγεται από την γραμματική χωρίς συμφραζόμενα με αρχικό κανόνα → άρα είναι χωρίς συμφραζόμενα Κλειστότητα των Γ.Χ.Σ στο Αστέρι KLeene • Η L είναι Ανεξάρτητη Συμφραζομένων, άρα παράγεται από μία γραμματική χωρίς συμφραζόμενα, έστω με αρχικό κανόνα S • Η L* παράγεται από την γραμματική χωρίς συμφραζόμενα με αρχικό κανόνα → | άρα είναι χωρίς συμφραζόμενα. OXI Κλειστότητα των Γ.Χ.Σ στο Συμπλήρωμα. ΑΝΤΙΠΑΡΑΔΕΙΓΜΑ:Πράγματι αν: • L1 ∈ , , ∗ δεν έχει ίσα a και b} • L2 ∈ , , ∗ δεν έχει ίσα b και c} που είναι και οι δύο χωρίς συμφραζόμενα (γιατι; ). Τότε η ένωση τους είναι η γλώσσα L′ ∈ , , ∗ δεν έχει ίσα a και b ή δεν έχει ίσα b και c } και είναι γλώσσα χωρίς συμφραζόμενα (κλειστότητα της ένωσης στις ΓΧΣ). Τότε το συμπλήρωμα της L′ είναι η γλώσσα: L′ ∈ , , ∗ έχει ίσα a, b και c } που δεν είναι χωρίς συμφραζόμενα (αποδεικνύεται με το λήμμα της άντλησης για γλώσσες χωρίς συμφραζόμενα). OXI Κλειστότητα των Γ.Χ.Σ στην Τομή. ΑΝΤΙΠΑΡΑΔΕΙΓΜΑ:Πράγματι αν: • L1 , 0} • L2 , 0} Που είναι και οι δύο χωρίς συμφραζόμενα (έχουν γραμματική χωρίς συμφραζόμενα) Η τομή τους είναι η γλώσσα: L1 ∩ L2 0} που όπως θα δούμε στο επόμενο μάθημα δεν είναι χωρίς συμφραζόμενα (αποδεικνύεται με το λήμμα της άντλησης για γλώσσες χωρίς συμφραζόμενα).

Γλώσσες Χωρίς Συμφραζόμενα Κλειστότητες Γλωσσών Χωρίς Συμφραζόμενα

Views

Total views

2,758

On Slideshare

0

From embeds

0

Number of embeds

2,036

Actions

Downloads

217

Shares

0

Comments

0

Likes

0

×