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.
∆ηµήτρης Ψούνης – ΠΛΗ30, Επανάληψη 6 1
ΠΛΗ30 – ΕΠΑΝΑΛΗΨΗ 6
Γλώσσες Ανεξάρτητες Συµφραζοµένων (Μέρος 2ο
) –
Κατασκευή Μηχαν...
∆ηµήτρης Ψούνης – ΠΛΗ30, Επανάληψη 6 2
Ασκήσεις
Άσκηση 1
∆ίδεται η γλώσσα L={0n
1n+1
| n ≥ 0}
(1) Αποδείξτε ότι η γλώσσα δ...
∆ηµήτρης Ψούνης – ΠΛΗ30, Επανάληψη 6 3
Άσκηση 6
∆ίδεται η γλώσσα L={0 n
1n+2m
0m
|n,m≥0}
(1) ∆ώστε Ντετερµινιστικό Αυτόµατ...
Upcoming SlideShare
Loading in …5
×

of

ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 6 Slide 1 ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 6 Slide 2 ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 6 Slide 3
Upcoming SlideShare
ΠΛΗ30 ΜΑΘΗΜΑ 4.1
Next
Download to read offline and view in fullscreen.

0 Likes

Share

Download to read offline

ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 6

Download to read offline

ΓΛΩΣΣΕΣ ΑΝΕΞΑΡΤΗΤΕΣ ΣΥΜΦΡΑΖΟΜΕΝΩΝ
ΜΗΧΑΝΕΣ TURING

Related Audiobooks

Free with a 30 day trial from Scribd

See all
  • Be the first to like this

ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 6

  1. 1. ∆ηµήτρης Ψούνης – ΠΛΗ30, Επανάληψη 6 1 ΠΛΗ30 – ΕΠΑΝΑΛΗΨΗ 6 Γλώσσες Ανεξάρτητες Συµφραζοµένων (Μέρος 2ο ) – Κατασκευή Μηχανών Turing Ο∆ΗΓΙΕΣ ΓΙΑ ΤΗΝ ΕΠΑΝΑΛΗΨΗ Επαναλάβετε τα µαθήµατα: • Ενότητα 4: Γλώσσες Ανεξάρτητες Συµφραζοµένων – Μάθηµα 4.4: Κλειστότητα Γλωσσών Ανε- ξαρτήτων Συµφραζοµένων • Ενότητα 4: Γλώσσες Ανεξάρτητες Συµφραζοµένων – Μάθηµα 4.5: Γλώσσες Όχι Ανεξάρτητες Συµφραζοµένων • Ενότητα 5: Αποφασίσιµες και Αποδεκτές Γλώσσες – Μάθηµα 5.2: Αποφασίσιµες Γλώσσες (µό- νο µεθοδολογία κατασκευής Μ.Τ.) Μεγάλη έµφαση δίνουµε στην κατασκευή Μ.Τ. που µας εξασφαλίζουν µία έξτρα µονάδα στις τελικές εξετάσεις. Ο∆ΗΓΙΕΣ ΓΙΑ ΤΟΝ ΧΡΟΝΟ ΕΠΙΛΥΣΗΣ ΑΣΚΗΣΕΩΝ: Έπειτα προχωρήστε στην επίλυση των ασκήσεων.Κάθε άσκηση πρέπει να βγαίνει ολόσωστα σε 15’- 20’ η κάθε µία. Έπειτα συµβουλευτείτε τις αντίστοιχες ηχογραφήσεις για να δείτε ολοκλήρωµένα τις λύσεις των ασκήσεων. Συνιστώµενοι Χρόνοι για την επανάληψη: Χρόνος Επανάληψης: 2.00’ Χρόνος Απάντησης Ασκήσεων: 1.40’ Ηχογραφήσεις Ασκήσεων: 2.00’
  2. 2. ∆ηµήτρης Ψούνης – ΠΛΗ30, Επανάληψη 6 2 Ασκήσεις Άσκηση 1 ∆ίδεται η γλώσσα L={0n 1n+1 | n ≥ 0} (1) Αποδείξτε ότι η γλώσσα δεν είναι κανονική. (2) ∆ώστε Γραµµατική Χωρίς Συµφραζόµενα που παράγει τις συµβολοσειρές της γλώσσας. (3) ∆ώστε Ντετερµινιστικό Αυτόµατο Στοίβας που αναγνωρίζει τις συµβολοσειρές της γλώσσας. (4) ∆ώστε Μη Ντετερµινιστικό Αυτόµατο Στοίβας που αναγνωρίζει τις συµβολοσειρές της γλώσσας. (5) Κατασκευάστε Μ.Τ. που αποφασίζει την γλώσσα Άσκηση 2 ∆ίδεται η γλώσσα L={02n 13n+1 | n ≥ 0} (1) Αποδείξτε ότι η γλώσσα δεν είναι κανονική. (2) ∆ώστε Γραµµατική Χωρίς Συµφραζόµενα που παράγει τις συµβολοσειρές της γλώσσας. (3) ∆ώστε Ντετερµινιστικό Αυτόµατο Στοίβας που αναγνωρίζει τις συµβολοσειρές της γλώσσας. (4) ∆ώστε Μη Ντετερµινιστικό Αυτόµατο Στοίβας που αναγνωρίζει τις συµβολοσειρές της γλώσσας. (5) Κατασκευάστε Μ.Τ. που αποφασίζει την γλώσσα Άσκηση 3 ∆ίδεται η γλώσσα L={an ccbm | n <m} (1) Αποδείξτε ότι η γλώσσα δεν είναι κανονική. (2) ∆ώστε Γραµµατική Χωρίς Συµφραζόµενα που παράγει τις συµβολοσειρές της γλώσσας. (3) ∆ώστε Ντετερµινιστικό Αυτόµατο Στοίβας που αναγνωρίζει τις συµβολοσειρές της γλώσσας. (4) ∆ώστε Μη Ντετερµινιστικό Αυτόµατο Στοίβας που αναγνωρίζει τις συµβολοσειρές της γλώσσας. (5) Κατασκευάστε Μ.Τ. που αποφασίζει την γλώσσα Άσκηση 4 ∆ίδεται η γλώσσα L={ai bj ck | i+k<j} (1) Αποδείξτε ότι η γλώσσα δεν είναι κανονική. (2) ∆ώστε Γραµµατική Χωρίς Συµφραζόµενα που παράγει τις συµβολοσειρές της γλώσσας. (3) ∆ώστε Ντετερµινιστικό Αυτόµατο Στοίβας που αναγνωρίζει τις συµβολοσειρές της γλώσσας. (4) ∆ώστε Μη Ντετερµινιστικό Αυτόµατο Στοίβας που αναγνωρίζει τις συµβολοσειρές της γλώσσας. (5) Κατασκευάστε Μ.Τ. που αποφασίζει την γλώσσα Άσκηση 5 ∆είξτε ότι οι γλώσσες (1) L={an b2n+3 cn+1 | n ≥ 0} (2) L={w∈ {૙, ૚}∗ |w έχει ίσα 0 και 1 και είναι παλινδροµική} δεν είναι χωρίς συµφραζόµενα
  3. 3. ∆ηµήτρης Ψούνης – ΠΛΗ30, Επανάληψη 6 3 Άσκηση 6 ∆ίδεται η γλώσσα L={0 n 1n+2m 0m |n,m≥0} (1) ∆ώστε Ντετερµινιστικό Αυτόµατο Στοίβας που αναγνωρίζει τις συµβολοσειρές της γλώσσας. (2) Κατασκευάστε Μ.Τ. που αποφασίζει την γλώσσα Άσκηση 7 ∆ίδεται η γλώσσα (1) ∆ώστε Ντετερµινιστικό Αυτόµατο Στοίβας που αναγνωρίζει τις συµβολοσειρές της γλώσσας. (2) Κατασκευάστε Μ.Τ. που αποφασίζει την γλώσσα }}1,0{,0|01{ *2 ∈≥= + wnwwL Rnn

ΓΛΩΣΣΕΣ ΑΝΕΞΑΡΤΗΤΕΣ ΣΥΜΦΡΑΖΟΜΕΝΩΝ ΜΗΧΑΝΕΣ TURING

Views

Total views

1,767

On Slideshare

0

From embeds

0

Number of embeds

1,030

Actions

Downloads

205

Shares

0

Comments

0

Likes

0

×