SlideShare a Scribd company logo
ΠΛΗ30
ΕΝΟΤΗΤΑ 5: ΑΠΟΦΑΣΙΣΙΜΕΣ και
ΑΠΟ∆ΕΚΤΕΣ ΓΛΩΣΣΕΣ
Μάθηµα 5.2:
Αποφασίσιµες Γλώσσες
∆ηµήτρης Ψούνης
ΠΕΡΙΕΧΟΜΕΝΑ
Α. Σκοπός του Μαθήµατος
Β. Θεωρία
1. Μηχανές Turing που αποφασίζουν γλώσσες
1. Ορισµός Αποφασίσιµης Γλώσσας
2. Οι µηχανές που γράφουν #Υ# και #Ν#
2. Μεθοδολογία Κατασκευής Μ.Τ.
1. Ισότητα 3 πραγµάτων
2. Αναλογία 3 πραγµάτων
3. Ανισότητα
4. Παλινδροµικότητα
5. Κανονικές Γλώσσες
3. Μη Ντετερµινιστικές Μ.Τ.
1. Μηχανή Turing για την παράθεση οµοίων
2. Μηχανή Turing που προσοµοιώνει ΜΠΑ
4. Κλειστότητα στις Αποφασίσιµες Γλώσσες
1. Κλειστότητα στην Ένωση
2. Κλειστότητα στην Τοµή
3. Κλειστότητα στο Συµπλήρωµα
4. Κλειστότητα στην Παράθεση
5. Κλειστότητα στο Αστέρι Kleene
Γ.Ασκήσεις
2∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Α. Σκοπός του Μαθήµατος
Οι στόχοι του µαθήµατος είναι:
Επίπεδο Α
Η µεθοδολογία κατασκευής Μ.Τ. που αποφασίζουν γλώσσες είναι SOS για
τις τελικές εξετάσεις
Επίπεδο Β
Μη Ντετερµινιστικές Μ.Τ.
Κλειστότητα Πράξεων στις Αποφασίσιµες Γλώσσες
Επίπεδο Γ
(-)
3∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
B. Θεωρία
1. Μηχανές Turing που αποφασίζουν γλώσσες
1. Ορισµός Αποφασισιµης Γλώσσας
Συνεπώς το επόµενο σύνολο γλωσσών που µελετάµε είναι το σύνολο των
αποφασίσιµων γλωσσών για τις οποίες υπάρχει µηχανή Turing που τις αποφασίζει.
4∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Μία µηχανή Turing θα λέµε ότι αποφασίζει µία γλώσσα αν για κάθε συµβολοσειρά
εισόδου w:
Τερµατίζει µε σχηµατισµό (h, #Y#) αν ∈
Τερµατίζει µε σχηµατισµό (h, #N#) αν ∉
Αν για µία γλώσσα L υπάρχει µηχανή Turing που την αποφασίζει λέγεται Turing-
Αποφασίσιµη (ή Αναδροµική ή Επιλύσιµη ή Αποφασίσιµη Γλώσσα)
Ο παραπάνω τυπικός ορισµός εισάγει δύο ειδικά σύµβολα στο αλφάβητο Y,N τα οποία συµβολίζουν
αντίστοιχα την απάντηση ΝΑΙ – Y(es) και ΟΧΙ – Ν(ο).
• Συνεπώς η δουλειά που πρέπει να κάνουµε είναι αφού καταλάβουµε αν η συµβολοσειρά
εισόδου ανήκει ή όχι στην γλώσσα.
• Να σβήνει την ταινία και να γράφει το σύµβολο Y στην µορφή #Y# αν η συµβολοσειρά
εισόδου ανήκει στην γλώσσα.
• Να σβήνει την ταινία και να γράφει το σύµβολο Ν στην µορφή #Ν# αν η συµβολοσειρά
εισόδου δεν ανήκει στην γλώσσα.
B. Θεωρία
1. Μηχανές Turing που αποφασίζουν γλώσσες
2. Οι µηχανές που γράφουν #Y# και #N#
5∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Οι ακόλουθες δύο µηχανές θα φανούν χρήσιµες όταν γράφουµε µηχανές που
αποφασίζουν γλώσσες.
• Η ακόλουθη µηχανή (θα την συµβολίζουµε µε MY) µε είσοδο #w# σβήνει την είσοδο
της και φέρνει την ταινία στην µορφή #Υ#
• Η ακόλουθη µηχανή (θα την συµβολίζουµε µε MN) µε είσοδο #w# σβήνει την είσοδο
της και φέρνει την ταινία στην µορφή #N#
L
#
#
#
L
#
#
#
Παράδειγµα: ∆ίδεται η γλώσσα: 0 1 0 . Να κατασκευάσετε ντετερµινιστική µηχανή Turing
M, µε αλφάβητο Σ={0,1,#,$,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο
∈ 0,1 ∗
ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της λειτουγίας
της µηχανής και το διάγραµµα ροής της Μ.
ΛΥΣΗ: ‘Ατυπη Περιγραφή της λειτουργίας της Μ.Τ.: Η µηχανή µετακινεί την κεφαλή στην αρχή της ταινίας
και έπειτα σαρώνει επαναληπτικά την είσοδο από αριστερά προς τα δεξιά αντικαθιστώντας µία εµφάνιση 0
µε $ και µία εµφάνιση 1 µε $. Όταν όλη η είσοδος γίνει $, η µηχανή τερµατίζει απαντώντας YES. Σε κάθε
άλλη περίπτωση απαντάει ΝΟ.
Το διάγραµµα ροής της µηχανής είναι το ακόλουθο:
B. Θεωρία
2. Μεθοδολογία Κατασκευής Μ.Τ.
1. Ισότητα 3 πραγµάτων
6∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
R
0
$
#
L# R
1
$
$ 0, $
1
#
Άσκηση: ∆ίδεται η γλώσσα: 0 . Να κατασκευάσετε ντετερµινιστική µηχανή Turing M,
µε αλφάβητο Σ={a,b,c,#,$,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο
∈ , , ∗
ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της
λειτουγίας της µηχανής και το διάγραµµα ροής της Μ.
B. Θεωρία
2. Μεθοδολογία Κατασκευής Μ.Τ.
1. Ισότητα 3 πραγµάτων
7∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Παράδειγµα: ∆ίδεται η γλώσσα: 0 1!
0 . Να κατασκευάσετε ντετερµινιστική µηχανή Turing
M, µε αλφάβητο Σ={0,1,#,$,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο
∈ 0,1 ∗
ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της λειτουγίας
της µηχανής και το διάγραµµα ροής της Μ.
ΛΥΣΗ: ‘Ατυπη Περιγραφή της λειτουργίας της Μ.Τ.: Η µηχανή µετακινεί την κεφαλή στην αρχή της ταινίας
και έπειτα σαρώνει επαναληπτικά την είσοδο από αριστερά προς τα δεξιά αντικαθιστώντας δύο εµφανίσεις
0 µε $ και τρεις εµφανίσεις 1 µε $. Όταν όλη η είσοδος γίνει $, η µηχανή τερµατίζει απαντώντας YES. Σε
κάθε άλλη περίπτωση απαντάει ΝΟ.
Το διάγραµµα ροής της µηχανής είναι το ακόλουθο:
B. Θεωρία
2. Μεθοδολογία Κατασκευής Μ.Τ.
2. Αναλογία 3 πραγµάτων
8∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
R 0
$
#
L# R
$
0
1
$ R
1
#
$ R
1
0, $, #
$ R
1
$
0, $
1, $, # 0, $, #
Άσκηση: ∆ίδεται η γλώσσα: !
0 . Να κατασκευάσετε ντετερµινιστική µηχανή Turing
M, µε αλφάβητο Σ={a,b,c,#,$,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο
∈ , , ∗
ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της
λειτουγίας της µηχανής και το διάγραµµα ροής της Μ.
B. Θεωρία
2. Μεθοδολογία Κατασκευής Μ.Τ.
2. Αναλογία 3 πραγµάτων
9∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Παράδειγµα: ∆ίδεται η γλώσσα: "
∈ 0,1 ∗
. Να κατασκευάσετε ντετερµινιστική µηχανή
Turing M, µε αλφάβητο Σ={0,1,#,$,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε
είσοδο ∈ 0,1 ∗
ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της
λειτουγίας της µηχανής και το διάγραµµα ροής της Μ.
ΛΥΣΗ: ‘Ατυπη Περιγραφή της λειτουργίας της Μ.Τ.: Κάνουµε ταίριασµα του αριστερότερου µε το δεξιότερο
σύµβολο, µετατρέποντας τα σε $ εφόσον αυτά είναι ίδια. Αν δεν είναι ίδια τερµατίζουµε απαντώντας NO.
Όταν όλη η είσοδος γίνει $, τερµατίζουµε απαντώντας YES. Το διάγραµµα ροής της µηχανής είναι το
ακόλουθο:
B. Θεωρία
2. Μεθοδολογία Κατασκευής Μ.Τ.
3. Παλινδροµικότητα
10∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
R
0
$
#
L#
$ R# L
$
0
$
$ R#
$
L
11
#, 1
#, 0
Άσκηση: ∆ίδεται η γλώσσα: "
∈ , ∗
. Να κατασκευάσετε ντετερµινιστική µηχανή Turing
M, µε αλφάβητο Σ={a,b,c,#,$,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο
∈ , , ∗
ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της
λειτουγίας της µηχανής και το διάγραµµα ροής της Μ.
B. Θεωρία
2. Μεθοδολογία Κατασκευής Μ.Τ.
3. Παλινδροµικότητα
11∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Παράδειγµα: ∆ίδεται η γλώσσα: 	 ∈ 0,1 ∗
| 	%&'(&)&(	*+	00 . Να κατασκευάσετε ντετερµινιστική
µηχανή Turing M, µε αλφάβητο Σ={0,1,#,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε
είσοδο ∈ 0,1 ∗
ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της
λειτουγίας της µηχανής και το διάγραµµα ροής της Μ.
ΛΥΣΗ: Η γλώσσα είναι κανονική και αποφασίζεται από το ακόλουθο ΝΠΑ:
B. Θεωρία
2. Μεθοδολογία Κατασκευής Μ.Τ.
4. Κανονικές Γλώσσες
12∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
q0 q2
0
0,11
q1
0
1
Μεθοδολογία: Προσοµοιώνουµε την λειτουργία του ΝΠΑ µε µία µηχανή Turing µε τους ακόλουθους
κανόνες:
• Μετακινούµε την κεφαλή στην αρχή της ταινίας (αν απαιτείται)
• Κάθε κατάσταση γίνεται R
• Βάζουµε µετάβαση µε # στην ΜΥ από κάθε τελική κατάσταση.
• Βάζουµε µετάβαση µε # στην ΜΝ από κάθε µη τελική κατάσταση.
ΛΥΣΗ (συνέχεια): Η λειτουργία του ΝΠΑ προσοµοιώνεται από την ακόλουθη µηχανή Turing:
B. Θεωρία
2. Μεθοδολογία Κατασκευής Μ.Τ.
4. Κανονικές Γλώσσες
13∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
0
#
L#
1
R R R
0,1
0
1
,
##
Άσκηση: ∆ίδεται η γλώσσα: 	 ∈ 0,1 ∗
| 	-&.	*&/&(ώ.&(	1&	01 . Να κατασκευάσετε ντετερµινιστική µηχανή
Turing M, µε αλφάβητο Σ={0,1,#,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο ∈ 0,1 ∗
ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της λειτουγίας της µηχανής και το
διάγραµµα ροής της Μ.
B. Θεωρία
2. Μεθοδολογία Κατασκευής Μ.Τ.
4. Κανονικές Γλώσσες
14∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
B. Θεωρία
3. Μη Ντετερµινιστικές Μηχανές Turing
1. Μη Ντετερµινιστικές Μηχανές Turing
15∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Οι ιδέες του µη ντετερµινισµού µπορούν να επεκταθούν και στις µηχανές Turing. Έτσι
µπορούµε να ορίσουµε µη ντετερµινιστικές µηχανές Turing οι οποίες:
Μπορούν να καθορίζονται πολλές µεταβάσεις µε το ίδιο σύµβολο
Ορίζονται ε-κινήσεις (κινήσεις χωρίς διάβασµα συµβόλου)
Μία µη ντετερµινιστική µηχανή Turing:
• Απαντά ΝΑΙ, αν υπάρχει έστω ένα µονοπάτι υπολογισµού που να οδηγεί σε αποδοχή.
• Απαντά ΌΧΙ, αν δεν υπάρχει µονοπάτι υπολογισµού που να οδηγεί σε αποδοχή.
Παράδειγµα: ∆ίδεται η γλώσσα: ∈ 0,1 ∗
. Να κατασκευάσετε µη ντετερµινιστική µηχανή
Turing M, µε αλφάβητο Σ={0,1,#,$,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε
είσοδο ∈ 0,1 ∗
ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της
λειτουγίας της µηχανής και το διάγραµµα ροής της Μ.
ΛΥΣΗ: ‘Ατυπη Περιγραφή της λειτουργίας της Μ.Τ.: Η Μηχανή Turing µη διαβάζει το πρώτο σύµβολο της
συµβολοσεριάς εισόδου και µη ντετερµινιστικά επιλέγει το σηµείο που αρχίζει η παράθεση της όµοιας
συµβολοσειράς. Έπειτα γίνεται ταύτιση των εποµένων συµβόλων των δύο όµοιων συµβολοσειρών
B. Θεωρία
3. Μη Ντετερµινιστικές Μηχανές Turing
1. Παραδείγµατα
16∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
R
0
$
#
L#
$ R$
$
0
$
$ R$
$
R
11
#, 1
#, 0
R
0
R
0,1
$
0
$
1
R$
1
$
0,1
#
#
#
Άσκηση: ∆ίδεται η γλώσσα: 	23|2		-&.	*&/&(ώ.&(	1&	0, 3	-&.	 ')(4&(	1&	1 . Να κατασκευάσετε ντετερµινιστική
µηχανή Turing M, µε αλφάβητο Σ={0,1,#,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο
∈ 0,1 ∗
ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της λειτουγίας της µηχανής
και το διάγραµµα ροής της Μ.
B. Θεωρία
3. Μη Ντετερµινιστικές Μηχανές Turing
1. Παραδείγµατα
17∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Παράδειγµα: ∆ίδεται η γλώσσα: 50 6 17∗
0150 6 17∗
	Να κατασκευάσετε µη ντετερµινιστική µηχανή
Turing M, µε αλφάβητο Σ={0,1,#,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο
∈ 0,1 ∗
ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της λειτουγίας
της µηχανής και το διάγραµµα ροής της Μ.
ΛΥΣΗ: Η γλώσσα είναι κανονική και αποφασίζεται από το ακόλουθο ΜΠΑ:
B. Θεωρία
3. Μη Ντετερµινιστικές Μηχανές Turing
2. Μηχανή Turing που προσοµοιώνει ΜΠΑ
18∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
q0 q2
0
0,10,1
q1
1
Μεθοδολογία: Προσοµοιώνουµε την λειτουργία του ΝΠΑ µε µία µηχανή Turing µε τους ακόλουθους
κανόνες:
• Μετακινούµε την κεφαλή στην αρχή της ταινίας (αν απαιτείται)
• Κάθε κατάσταση γίνεται R
• Βάζουµε µετάβαση µε # στην ΜΥ από κάθε τελική κατάσταση.
• Βάζουµε µετάβαση µε # στην ΜΝ από κάθε µη τελική κατάσταση.
ΛΥΣΗ (συνέχεια): Η λειτουργία του ΜΠΑ προσοµοιώνεται από την ακόλουθη µηχανή Turing:
B. Θεωρία
3. Μη Ντετερµινιστικές Μ.Τ.
2. Μηχανή Turing που προσοµοιώνει ΜΠΑ
19∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
0
#
L#
0,1
R R R
0,1
1
,
##
B. Θεωρία
4. Κλειστότητα των Αποφασίσιµων Γλωσσών
20∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Έστω δύο αποφασίσιµες γλώσσες
Η ένωση τους είναι αποφασίσιµη γλώσσα
Η παράθεση τους είναι αποφασίσιµη γλώσσα
Η τοµή τους είναι αποφασίσιµη γλώσσα
Το αστέρι Kleene µίας γλώσσας θα είναι αποφασίσιµη γλώσσα
Το συµπλήρωµα µία γλώσσας θα είναι αποφασίσιµη γλώσσα
Άρα έχουµε κλειστότητα σε όλες τις πράξεις στις αποφασίσιµες γλώσσες.
Όλες οι κλειστότητες θα αποδειχθούν µέσω µηχανών Turing.
B. Θεωρία
4. Κλειστότητα των Αποφασίσιµων Γλωσσών
1. Κλειστότητα στην Ένωση
21∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Θεώρηµα (Κλειστότητα των Αποφασίσιµων Γλωσσών στην Ένωση)
Αν η L1 είναι Αποφασίσιµη Γλώσσα και η L2 είναι Αποφασίσιµη Γλώσσα τότε και η L1 U L2 είναι
Αποφασίσιµη Γλώσσα
Απόδειξη
Η L1 είναι Αποφασίσιµη Γλώσσα, άρα υπάρχει µία µηχανη Turing που την αποφασίζει έστω Μ1
Η L2 είναι Αποφασίσιµη Γλώσσα, άρα υπάρχει µία µηχανη Turing που την αποφασίζει έστω Μ2
Κατασκευάζουµε µία µηχανή Turing, έστω Μ’ η οποία µε είσοδο w λειτουργεί ως εξής:
1. Τρέχει την M1 µε είσοδο w. Αν η Μ1 απαντήσει ΝΑΙ, τότε η Μ’ απαντά ΝΑΙ και τερµατίζει. Αν η Μ1
απαντήσει ΌΧΙ προχωράει στο βήµα 2:
2. Τρέχει την Μ2 µε είσοδο w. Αν η η Μ2 απαντήσει ΝΑΙ, τότε η Μ’ απαντά ΝΑΙ και τερµατίζει. Αν η
Μ2 απαντήσει ΌΧΙ τότε απαντά ΌΧΙ και τερµατίζει.
B. Θεωρία
4. Κλειστότητα των Αποφασίσιµων Γλωσσών
2. Κλειστότητα στην Τοµή
22∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Θεώρηµα (Κλειστότητα των Αποφασίσιµων Γλωσσών στην Τοµή)
Αν η L1 είναι Αποφασίσιµη Γλώσσα και η L2 είναι Αποφασίσιµη Γλώσσα τότε και η 8 ∩ είναι
Αποφασίσιµη Γλώσσα
Απόδειξη
Η L1 είναι Αποφασίσιµη Γλώσσα, άρα υπάρχει µία µηχανη Turing που την αποφασίζει έστω Μ1
Η L2 είναι Αποφασίσιµη Γλώσσα, άρα υπάρχει µία µηχανη Turing που την αποφασίζει έστω Μ2
Κατασκευάζουµε µία µηχανή Turing, έστω Μ’ η οποία µε είσοδο w λειτουργεί ως εξής:
1. Τρέχει την M1 µε είσοδο w. Αν η Μ1 απαντήσει ΟΧΙ, τότε η Μ’ απαντά ΟΧΙ και τερµατίζει. Αν η
Μ1 απαντήσει ΝΑΙ προχωρά στο βήµα 2:
2. Τρέχει την Μ2 µε είσοδο w. Αν η η Μ2 απαντήσει ΟΧΙ, τότε η Μ’ απαντά ΟΧΙ και τερµατίζει. Αν η
Μ2 απαντήσει ΝΑΙ τότε η Μ’ απαντά ΝΑΙ και τερµατίζει.
B. Θεωρία
4. Κλειστότητα των Αποφασίσιµων Γλωσσών
3. Κλειστότητα στο Συµπλήρωµα
23∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Θεώρηµα (Κλειστότητα των Αποφασίσιµων Γλωσσών στο Συµπλήρωµα)
Αν η L είναι Αποφασίσιµη Γλώσσα η L: είναι Αποφασίσιµη Γλώσσα
Απόδειξη
Η L είναι Αποφασίσιµη Γλώσσα, άρα υπάρχει µία µηχανη Turing που την αποφασίζει έστω Μ
Κατασκευάζουµε µία µηχανή Turing, έστω Μ’ η οποία µε είσοδο w λειτουργεί ως εξής:
1. Τρέχει την M µε είσοδο w.
• Αν η Μ απαντήσει ΟΧΙ, τότε η Μ’ απαντά NAI και τερµατίζει.
• Αν η Μ απαντήσει OXI, τότε η Μ’ απαντάει ΌΧΙ και τερµατίζει.
B. Θεωρία
4. Κλειστότητα των Αποφασίσιµων Γλωσσών
4. Κλειστότητα στην Παράθεση
24∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Θεώρηµα (Κλειστότητα των Αποφασίσιµων Γλωσσών στην Παράθεση)
Αν η L1 είναι Αποφασίσιµη Γλώσσα και η L2 είναι Αποφασίσιµη Γλώσσα τότε και η 8 είναι
Αποφασίσιµη Γλώσσα
Απόδειξη
Η L1 είναι Αποφασίσιµη Γλώσσα, άρα υπάρχει µία µηχανη Turing που την αποφασίζει έστω Μ1
Η L2 είναι Αποφασίσιµη Γλώσσα, άρα υπάρχει µία µηχανη Turing που την αποφασίζει έστω Μ2
Κατασκευάζουµε µία µηχανή Turing, έστω Μ’ η οποία µε είσοδο w λειτουργεί ως εξής:
1. Πρώτα µία µηχανή Turing διαχωριστής D παράγει όλους τους δυνατούς διαχωρισµούς της
συµβολοσειράς w στην παράθεση δύο συµβολοσειρών w1 και w2 (δηλαδή όλους τους δυνατούς
διαχωρισµούς της w ως w1w2.)
2. Για κάθε δυνατό διαχωρισµό:
1. Τρέχει την M1 µε είσοδο w1 και την M2 µε είσοδο w2. Αν και οι δύο µηχανές απαντήσουν
ΝΑΙ, τότε η Μ’ τερµατίζει απαντώντας ΝΑΙ
Αν όλοι οι δυνατοί διαχωρισµοί απαντηθούν ΌΧΙ, τότε και η Μ’ τερµατίζει απαντώντας ΌΧΙ.
B. Θεωρία
4. Κλειστότητα των Αποφασίσιµων Γλωσσών
5. Κλειστότητα στο Αστέρι Kleene
25∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Θεώρηµα (Κλειστότητα των Αποφασίσιµων Γλωσσών στο Αστέρι Kleene)
Αν η L είναι Αποφασίσιµη Γλώσσα η ∗
είναι Αποφασίσιµη Γλώσσα
Απόδειξη
Η L είναι Αποφασίσιµη Γλώσσα, άρα υπάρχει µία µηχανη Turing που την αποφασίζει έστω Μ
Κατασκευάζουµε µία µηχανή Turing, έστω Μ’ η οποία µε είσοδο w λειτουργεί ως εξής:
1. Πρώτα µία µηχανή Turing διαχωριστής D παράγει όλους τους δυνατούς διαχωρισµούς της
συµβολοσειράς w στην παράθεση 1..|w| συµβολοσειρών (δηλαδή όλους τους δυνατούς
διαχωρισµούς της w ως w1w2…wk µε k=1,2,…|w|)
2. Για κάθε δυνατό διαχωρισµό:
1. Τρέχει την M διαδοχικά µε εισόδους w1,w2 , … , wk. Αν η Μ απαντήσει ΝΑΙ για όλες τις
συµβολοσειρές τότε η Μ’ τερµατίζει απαντώντας ΝΑΙ.
Αν όλοι οι δυνατοί διαχωρισµοί απαντηθούν ΌΧΙ, τότε και η Μ’ τερµατίζει απαντώντας ΌΧΙ.
Γ. Ασκήσεις
Εφαρµογή 1
(2009Α) Εστω αλφάβητο Σ = {0,1} και η γλώσσα:
L = {w ∈ Σ* : το w περιέχει τουλάχιστον δύο 0 (συνεχόµενα ή όχι)}.
Να κατασκευάσετε µηχανή Turing Τ µε αλφάβητο Σ0 = {0, 1, #, Y, N} που θα αποφασίζει
την γλώσσα L. Η µηχανή θα ξεκινά µε σχηµατισµό: #w# για κάποιο w ∈ Σ*.
∆ώστε άτυπη περιγραφή της παραπάνω µηχανής Turing (τον αλγόριθµο διαχείρισης της
ταινίας) και στη συνέχεια τυπική περιγραφή µέσω γραφήµατος ροής.
26∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Γ. Ασκήσεις
Εφαρµογή 2
(2009Β) Έστω αλφάβητο Σ = {0,1} και η γλώσσα:
L = {w ∈ Σ* : το w περιέχει τουλάχιστον δύο συνεχόµενα 0 (δηλαδή: 00)}.
Να κατασκευάσετε µηχανή Turing Τ µε αλφάβητο Σ0 = {0, 1, #, Y, N} που θα αποφασίζει
την γλώσσα L. Η µηχανή θα ξεκινά µε σχηµατισµό: #w# για κάποιο w ∈ Σ*.
∆ώστε άτυπη περιγραφή της παραπάνω µηχανής Turing (τον αλγόριθµο διαχείρισης της
ταινίας) και στη συνέχεια τυπική περιγραφή µέσω γραφήµατος ροής.
27∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Γ. Ασκήσεις
Εφαρµογή 3
(2010Α) Εξηγήστε γιατί το πρόβληµα του κατά πόσον µια συµβολοσειρά στο αλφάβητο
{0,1} περιέχει τον ίδιο αριθµό 0 και 1 είναι επιλύσιµο (αποφασίσιµο).
28∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Γ. Ασκήσεις
Εφαρµογή 4
(2011Α) Να κατασκευάσετε ντετερµινιστική µηχανή Turing M, µε αλφάβητο Σ = {0, 1, #,
Y, N}, που να αποφασίζει την γλώσσα L = { x ∈ {0,1}* | η x είναι παλίνδροµο }.
Παλίνδροµα είναι οι συµβολοσειρές που διαβάζονται το ίδιο και από δεξιά και από
αριστερά.
Θεωρήστε ότι η Μ µε είσοδο x∈{0,1}* ξεκινά την λειτουργία της από τον σχηµατισµό #x#.
Οι χαρακτήρες Υ (YES) και Ν (NO) χρησιµοποιούνται αποκλειστικά για την
σηµατοδότηση της αποδοχής ή της απόρριψη της εισόδου, αντίστοιχα.
(1) ∆ώστε µια άτυπη περιγραφή της λειτουργίας της Μ (έναν αλγόριθµο διαχείρισης της
ταινίας της).
29∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
Γ. Ασκήσεις
Εφαρµογή 4
(2) ∆ώστε το γράφηµα ροής της Μ (σχηµατική αναπαράσταση µε χρήση γνωστών
µηχανών).
(3) ∆ώστε τον υπολογισµό της Μ για τους παρακάτω αρχικούς µετασχηµατισµούς:
(i) #01010# (ii) #1001# (iii) #1101# και (iv) ##
30∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες

More Related Content

What's hot

ΠΛΗ30 ΜΑΘΗΜΑ 6.4
ΠΛΗ30 ΜΑΘΗΜΑ 6.4ΠΛΗ30 ΜΑΘΗΜΑ 6.4
ΠΛΗ30 ΜΑΘΗΜΑ 6.4
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 4.4
ΠΛΗ30 ΜΑΘΗΜΑ 4.4ΠΛΗ30 ΜΑΘΗΜΑ 4.4
ΠΛΗ30 ΜΑΘΗΜΑ 4.4
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 3.4
ΠΛΗ30 ΜΑΘΗΜΑ 3.4ΠΛΗ30 ΜΑΘΗΜΑ 3.4
ΠΛΗ30 ΜΑΘΗΜΑ 3.4
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 3.3
ΠΛΗ30 ΜΑΘΗΜΑ 3.3ΠΛΗ30 ΜΑΘΗΜΑ 3.3
ΠΛΗ30 ΜΑΘΗΜΑ 3.3
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 6.3
ΠΛΗ30 ΜΑΘΗΜΑ 6.3ΠΛΗ30 ΜΑΘΗΜΑ 6.3
ΠΛΗ30 ΜΑΘΗΜΑ 6.3
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 3.2
ΠΛΗ30 ΜΑΘΗΜΑ 3.2ΠΛΗ30 ΜΑΘΗΜΑ 3.2
ΠΛΗ30 ΜΑΘΗΜΑ 3.2
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 6.2
ΠΛΗ30 ΜΑΘΗΜΑ 6.2ΠΛΗ30 ΜΑΘΗΜΑ 6.2
ΠΛΗ30 ΜΑΘΗΜΑ 6.2
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 5.4
ΠΛΗ30 ΜΑΘΗΜΑ 5.4ΠΛΗ30 ΜΑΘΗΜΑ 5.4
ΠΛΗ30 ΜΑΘΗΜΑ 5.4
Dimitris Psounis
 
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 3
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 3ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 3
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 3
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 4.1
ΠΛΗ30 ΜΑΘΗΜΑ 4.1ΠΛΗ30 ΜΑΘΗΜΑ 4.1
ΠΛΗ30 ΜΑΘΗΜΑ 4.1
Dimitris Psounis
 
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 7
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 7ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 7
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 7
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 2.3
ΠΛΗ30 ΜΑΘΗΜΑ 2.3ΠΛΗ30 ΜΑΘΗΜΑ 2.3
ΠΛΗ30 ΜΑΘΗΜΑ 2.3
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 3.1
ΠΛΗ30 ΜΑΘΗΜΑ 3.1ΠΛΗ30 ΜΑΘΗΜΑ 3.1
ΠΛΗ30 ΜΑΘΗΜΑ 3.1
Dimitris Psounis
 
ΠΛΗ20 ΜΑΘΗΜΑ 3.2
ΠΛΗ20 ΜΑΘΗΜΑ 3.2ΠΛΗ20 ΜΑΘΗΜΑ 3.2
ΠΛΗ20 ΜΑΘΗΜΑ 3.2
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 6.5
ΠΛΗ30 ΜΑΘΗΜΑ 6.5ΠΛΗ30 ΜΑΘΗΜΑ 6.5
ΠΛΗ30 ΜΑΘΗΜΑ 6.5
Dimitris Psounis
 
ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 4
ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 4ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 4
ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 4
Dimitris Psounis
 
ΠΛΗ20 ΜΑΘΗΜΑ 3.1
ΠΛΗ20 ΜΑΘΗΜΑ 3.1ΠΛΗ20 ΜΑΘΗΜΑ 3.1
ΠΛΗ20 ΜΑΘΗΜΑ 3.1
Dimitris Psounis
 
ΠΛΗ30 ΤΕΣΤ 7
ΠΛΗ30 ΤΕΣΤ 7ΠΛΗ30 ΤΕΣΤ 7
ΠΛΗ30 ΤΕΣΤ 7
Dimitris Psounis
 
ΠΛΗ30 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 2
ΠΛΗ30 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 2ΠΛΗ30 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 2
ΠΛΗ30 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 2
Dimitris Psounis
 

What's hot (20)

ΠΛΗ30 ΜΑΘΗΜΑ 6.4
ΠΛΗ30 ΜΑΘΗΜΑ 6.4ΠΛΗ30 ΜΑΘΗΜΑ 6.4
ΠΛΗ30 ΜΑΘΗΜΑ 6.4
 
ΠΛΗ30 ΜΑΘΗΜΑ 4.5
ΠΛΗ30 ΜΑΘΗΜΑ 4.5ΠΛΗ30 ΜΑΘΗΜΑ 4.5
ΠΛΗ30 ΜΑΘΗΜΑ 4.5
 
ΠΛΗ30 ΜΑΘΗΜΑ 4.4
ΠΛΗ30 ΜΑΘΗΜΑ 4.4ΠΛΗ30 ΜΑΘΗΜΑ 4.4
ΠΛΗ30 ΜΑΘΗΜΑ 4.4
 
ΠΛΗ30 ΜΑΘΗΜΑ 3.4
ΠΛΗ30 ΜΑΘΗΜΑ 3.4ΠΛΗ30 ΜΑΘΗΜΑ 3.4
ΠΛΗ30 ΜΑΘΗΜΑ 3.4
 
ΠΛΗ30 ΜΑΘΗΜΑ 3.3
ΠΛΗ30 ΜΑΘΗΜΑ 3.3ΠΛΗ30 ΜΑΘΗΜΑ 3.3
ΠΛΗ30 ΜΑΘΗΜΑ 3.3
 
ΠΛΗ30 ΜΑΘΗΜΑ 6.3
ΠΛΗ30 ΜΑΘΗΜΑ 6.3ΠΛΗ30 ΜΑΘΗΜΑ 6.3
ΠΛΗ30 ΜΑΘΗΜΑ 6.3
 
ΠΛΗ30 ΜΑΘΗΜΑ 3.2
ΠΛΗ30 ΜΑΘΗΜΑ 3.2ΠΛΗ30 ΜΑΘΗΜΑ 3.2
ΠΛΗ30 ΜΑΘΗΜΑ 3.2
 
ΠΛΗ30 ΜΑΘΗΜΑ 6.2
ΠΛΗ30 ΜΑΘΗΜΑ 6.2ΠΛΗ30 ΜΑΘΗΜΑ 6.2
ΠΛΗ30 ΜΑΘΗΜΑ 6.2
 
ΠΛΗ30 ΜΑΘΗΜΑ 5.4
ΠΛΗ30 ΜΑΘΗΜΑ 5.4ΠΛΗ30 ΜΑΘΗΜΑ 5.4
ΠΛΗ30 ΜΑΘΗΜΑ 5.4
 
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 3
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 3ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 3
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 3
 
ΠΛΗ30 ΜΑΘΗΜΑ 4.1
ΠΛΗ30 ΜΑΘΗΜΑ 4.1ΠΛΗ30 ΜΑΘΗΜΑ 4.1
ΠΛΗ30 ΜΑΘΗΜΑ 4.1
 
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 7
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 7ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 7
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 7
 
ΠΛΗ30 ΜΑΘΗΜΑ 2.3
ΠΛΗ30 ΜΑΘΗΜΑ 2.3ΠΛΗ30 ΜΑΘΗΜΑ 2.3
ΠΛΗ30 ΜΑΘΗΜΑ 2.3
 
ΠΛΗ30 ΜΑΘΗΜΑ 3.1
ΠΛΗ30 ΜΑΘΗΜΑ 3.1ΠΛΗ30 ΜΑΘΗΜΑ 3.1
ΠΛΗ30 ΜΑΘΗΜΑ 3.1
 
ΠΛΗ20 ΜΑΘΗΜΑ 3.2
ΠΛΗ20 ΜΑΘΗΜΑ 3.2ΠΛΗ20 ΜΑΘΗΜΑ 3.2
ΠΛΗ20 ΜΑΘΗΜΑ 3.2
 
ΠΛΗ30 ΜΑΘΗΜΑ 6.5
ΠΛΗ30 ΜΑΘΗΜΑ 6.5ΠΛΗ30 ΜΑΘΗΜΑ 6.5
ΠΛΗ30 ΜΑΘΗΜΑ 6.5
 
ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 4
ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 4ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 4
ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 4
 
ΠΛΗ20 ΜΑΘΗΜΑ 3.1
ΠΛΗ20 ΜΑΘΗΜΑ 3.1ΠΛΗ20 ΜΑΘΗΜΑ 3.1
ΠΛΗ20 ΜΑΘΗΜΑ 3.1
 
ΠΛΗ30 ΤΕΣΤ 7
ΠΛΗ30 ΤΕΣΤ 7ΠΛΗ30 ΤΕΣΤ 7
ΠΛΗ30 ΤΕΣΤ 7
 
ΠΛΗ30 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 2
ΠΛΗ30 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 2ΠΛΗ30 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 2
ΠΛΗ30 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 2
 

Viewers also liked

ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.2 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.2 (ΕΚΤΥΠΩΣΗ)
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 5.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.2 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΜΑΘΗΜΑ 5.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.2 (ΕΚΤΥΠΩΣΗ)
Dimitris Psounis
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.2
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.2ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.2
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.2
Dimitris Psounis
 
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 5
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 5ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 5
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 5
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 5.3 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.3 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΜΑΘΗΜΑ 5.3 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.3 (ΕΚΤΥΠΩΣΗ)
Dimitris Psounis
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.3 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.3 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.3 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.3 (ΕΚΤΥΠΩΣΗ)
Dimitris Psounis
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.3
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.3 ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.3
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.3
Dimitris Psounis
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.1 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.1 (ΕΚΤΥΠΩΣΗ)
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 5.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.1 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΜΑΘΗΜΑ 5.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.1 (ΕΚΤΥΠΩΣΗ)
Dimitris Psounis
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.1
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.1ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.1
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.1
Dimitris Psounis
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4 (ΕΚΤΥΠΩΣΗ)
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 5.4 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.4 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΜΑΘΗΜΑ 5.4 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.4 (ΕΚΤΥΠΩΣΗ)
Dimitris Psounis
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4
Dimitris Psounis
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.5 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.5 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.5 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.5 (ΕΚΤΥΠΩΣΗ)
Dimitris Psounis
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.5
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.5ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.5
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.5
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 5.5 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.5 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΜΑΘΗΜΑ 5.5 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.5 (ΕΚΤΥΠΩΣΗ)
Dimitris Psounis
 
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 4
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 4ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 4
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 4
Dimitris Psounis
 
ΠΛΗ30 ΧΑΡΤΗΣ ΓΛΩΣΣΩΝ
ΠΛΗ30 ΧΑΡΤΗΣ ΓΛΩΣΣΩΝΠΛΗ30 ΧΑΡΤΗΣ ΓΛΩΣΣΩΝ
ΠΛΗ30 ΧΑΡΤΗΣ ΓΛΩΣΣΩΝ
Dimitris Psounis
 
ΠΛΗ30 ΜΑΘΗΜΑ 6.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 6.1 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΜΑΘΗΜΑ 6.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 6.1 (ΕΚΤΥΠΩΣΗ)
Dimitris Psounis
 
ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 6.1 (ΕΚΤΥΠΩΣΗ)
ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 6.1 (ΕΚΤΥΠΩΣΗ)ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 6.1 (ΕΚΤΥΠΩΣΗ)
ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 6.1 (ΕΚΤΥΠΩΣΗ)
Dimitris Psounis
 

Viewers also liked (20)

ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.2 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.2 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ30 ΜΑΘΗΜΑ 5.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.2 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΜΑΘΗΜΑ 5.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.2 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.2
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.2ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.2
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.2
 
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 5
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 5ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 5
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 5
 
ΠΛΗ30 ΜΑΘΗΜΑ 5.3 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.3 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΜΑΘΗΜΑ 5.3 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.3 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.3 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.3 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.3 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.3 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.3
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.3 ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.3
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.3
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.1 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.1 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ30 ΜΑΘΗΜΑ 5.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.1 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΜΑΘΗΜΑ 5.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.1 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.1
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.1ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.1
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.1
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ30 ΜΑΘΗΜΑ 5.4 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.4 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΜΑΘΗΜΑ 5.4 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.4 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.4
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.5 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.5 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.5 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.5 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.5
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.5ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.5
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 5.5
 
ΠΛΗ30 ΜΑΘΗΜΑ 5.5 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.5 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΜΑΘΗΜΑ 5.5 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 5.5 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 4
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 4ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 4
ΠΛΗ30 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 4
 
ΠΛΗ30 ΧΑΡΤΗΣ ΓΛΩΣΣΩΝ
ΠΛΗ30 ΧΑΡΤΗΣ ΓΛΩΣΣΩΝΠΛΗ30 ΧΑΡΤΗΣ ΓΛΩΣΣΩΝ
ΠΛΗ30 ΧΑΡΤΗΣ ΓΛΩΣΣΩΝ
 
ΠΛΗ30 ΜΑΘΗΜΑ 6.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 6.1 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΜΑΘΗΜΑ 6.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΜΑΘΗΜΑ 6.1 (ΕΚΤΥΠΩΣΗ)
 
ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 6.1 (ΕΚΤΥΠΩΣΗ)
ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 6.1 (ΕΚΤΥΠΩΣΗ)ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 6.1 (ΕΚΤΥΠΩΣΗ)
ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 6.1 (ΕΚΤΥΠΩΣΗ)
 

Similar to ΠΛΗ30 ΜΑΘΗΜΑ 5.2

ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 7
ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 7ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 7
ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 7
Dimitris Psounis
 
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 8
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 8ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 8
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 8
Dimitris Psounis
 
ΠΛΗ30 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 3
ΠΛΗ30 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 3ΠΛΗ30 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 3
ΠΛΗ30 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 3
Dimitris Psounis
 
ΠΛΗ30 ΤΕΣΤ 19
ΠΛΗ30 ΤΕΣΤ 19ΠΛΗ30 ΤΕΣΤ 19
ΠΛΗ30 ΤΕΣΤ 19
Dimitris Psounis
 
ΠΛΗ30 ΤΕΣΤ 19
ΠΛΗ30 ΤΕΣΤ 19ΠΛΗ30 ΤΕΣΤ 19
ΠΛΗ30 ΤΕΣΤ 19
Dimitris Psounis
 
ΑΕΠΠ: 22ο Φύλλο Ασκήσεων
ΑΕΠΠ: 22ο Φύλλο ΑσκήσεωνΑΕΠΠ: 22ο Φύλλο Ασκήσεων
ΑΕΠΠ: 22ο Φύλλο ΑσκήσεωνNikos Michailidis
 
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 5
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 5ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 5
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 5
Dimitris Psounis
 
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 4
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 4ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 4
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 4
Dimitris Psounis
 
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 6
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 6ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 6
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 6
Dimitris Psounis
 
ΠΛΗ10 ΜΑΘΗΜΑ 2.3: ΤΕΛΕΣΤΕΣ ΚΑΙ Η ΕΝΤΟΛΗ ΑΠΟΦΑΣΗΣ
ΠΛΗ10 ΜΑΘΗΜΑ 2.3: ΤΕΛΕΣΤΕΣ ΚΑΙ Η ΕΝΤΟΛΗ ΑΠΟΦΑΣΗΣΠΛΗ10 ΜΑΘΗΜΑ 2.3: ΤΕΛΕΣΤΕΣ ΚΑΙ Η ΕΝΤΟΛΗ ΑΠΟΦΑΣΗΣ
ΠΛΗ10 ΜΑΘΗΜΑ 2.3: ΤΕΛΕΣΤΕΣ ΚΑΙ Η ΕΝΤΟΛΗ ΑΠΟΦΑΣΗΣ
Dimitris Psounis
 
ΠΛΗ10 ΜΑΘΗΜΑ 1.4
ΠΛΗ10 ΜΑΘΗΜΑ 1.4ΠΛΗ10 ΜΑΘΗΜΑ 1.4
ΠΛΗ10 ΜΑΘΗΜΑ 1.4
Dimitris Psounis
 

Similar to ΠΛΗ30 ΜΑΘΗΜΑ 5.2 (15)

ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 7
ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 7ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 7
ΠΛΗ30 ΕΠΑΝΑΛΗΨΗ 7
 
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 8
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 8ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 8
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 8
 
ΠΛΗ30 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 3
ΠΛΗ30 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 3ΠΛΗ30 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 3
ΠΛΗ30 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 3
 
ΠΛΗ30 ΤΕΣΤ 19
ΠΛΗ30 ΤΕΣΤ 19ΠΛΗ30 ΤΕΣΤ 19
ΠΛΗ30 ΤΕΣΤ 19
 
ΠΛΗ30 ΤΕΣΤ 19
ΠΛΗ30 ΤΕΣΤ 19ΠΛΗ30 ΤΕΣΤ 19
ΠΛΗ30 ΤΕΣΤ 19
 
ΑΕΠΠ: 22ο Φύλλο Ασκήσεων
ΑΕΠΠ: 22ο Φύλλο ΑσκήσεωνΑΕΠΠ: 22ο Φύλλο Ασκήσεων
ΑΕΠΠ: 22ο Φύλλο Ασκήσεων
 
ΠΛΗ10 ΤΕΣΤ 15
ΠΛΗ10 ΤΕΣΤ 15ΠΛΗ10 ΤΕΣΤ 15
ΠΛΗ10 ΤΕΣΤ 15
 
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 5
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 5ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 5
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 5
 
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 4
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 4ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 4
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 4
 
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 6
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 6ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 6
ΠΛΗ30 ΔΙΑΓΩΝΙΣΜΑ 6
 
ΠΛΗ10 ΜΑΘΗΜΑ 2.3: ΤΕΛΕΣΤΕΣ ΚΑΙ Η ΕΝΤΟΛΗ ΑΠΟΦΑΣΗΣ
ΠΛΗ10 ΜΑΘΗΜΑ 2.3: ΤΕΛΕΣΤΕΣ ΚΑΙ Η ΕΝΤΟΛΗ ΑΠΟΦΑΣΗΣΠΛΗ10 ΜΑΘΗΜΑ 2.3: ΤΕΛΕΣΤΕΣ ΚΑΙ Η ΕΝΤΟΛΗ ΑΠΟΦΑΣΗΣ
ΠΛΗ10 ΜΑΘΗΜΑ 2.3: ΤΕΛΕΣΤΕΣ ΚΑΙ Η ΕΝΤΟΛΗ ΑΠΟΦΑΣΗΣ
 
ΠΛΗ10 ΤΕΣΤ 23
ΠΛΗ10 ΤΕΣΤ 23ΠΛΗ10 ΤΕΣΤ 23
ΠΛΗ10 ΤΕΣΤ 23
 
ΠΛΗ10 ΤΕΣΤ 18
ΠΛΗ10 ΤΕΣΤ 18ΠΛΗ10 ΤΕΣΤ 18
ΠΛΗ10 ΤΕΣΤ 18
 
ΠΛΗ10 ΜΑΘΗΜΑ 1.4
ΠΛΗ10 ΜΑΘΗΜΑ 1.4ΠΛΗ10 ΜΑΘΗΜΑ 1.4
ΠΛΗ10 ΜΑΘΗΜΑ 1.4
 
Προγραμματισμός - Γλώσσα μηχανής
Προγραμματισμός - Γλώσσα μηχανής Προγραμματισμός - Γλώσσα μηχανής
Προγραμματισμός - Γλώσσα μηχανής
 

More from Dimitris Psounis

Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 4 - ΚΛΑΣΕΙΣ ΚΑΙ ΑΝΑΦΟΡΕΣ
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 4 - ΚΛΑΣΕΙΣ ΚΑΙ ΑΝΑΦΟΡΕΣΗ ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 4 - ΚΛΑΣΕΙΣ ΚΑΙ ΑΝΑΦΟΡΕΣ
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 4 - ΚΛΑΣΕΙΣ ΚΑΙ ΑΝΑΦΟΡΕΣ
Dimitris Psounis
 
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 4 - ΚΛΑΣΕΙΣ ΚΑΙ ΑΝΑΦΟΡΕΣ (4διαφ)
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 4 - ΚΛΑΣΕΙΣ ΚΑΙ ΑΝΑΦΟΡΕΣ (4διαφ)Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 4 - ΚΛΑΣΕΙΣ ΚΑΙ ΑΝΑΦΟΡΕΣ (4διαφ)
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 4 - ΚΛΑΣΕΙΣ ΚΑΙ ΑΝΑΦΟΡΕΣ (4διαφ)
Dimitris Psounis
 
ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ (4δ)
ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ (4δ)ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ (4δ)
ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ (4δ)
Dimitris Psounis
 
ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ
ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ
ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ
Dimitris Psounis
 
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣΗ ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ
Dimitris Psounis
 
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ (4 διαφ)
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ (4 διαφ)Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ (4 διαφ)
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ (4 διαφ)
Dimitris Psounis
 
C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C
C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ CC++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C
C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C
Dimitris Psounis
 
C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C (4sl/p)
C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C (4sl/p)C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C (4sl/p)
C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C (4sl/p)
Dimitris Psounis
 
ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 6
ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 6ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 6
ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 6
Dimitris Psounis
 
ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 5
ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 5ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 5
ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 5
Dimitris Psounis
 
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2 (ΕΚΤΥΠΩΣΗ)ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2 (ΕΚΤΥΠΩΣΗ)
Dimitris Psounis
 
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2
Dimitris Psounis
 
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.1 (ΕΚΤΥΠΩΣΗ)ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.1 (ΕΚΤΥΠΩΣΗ)
Dimitris Psounis
 
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.1
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.1ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.1
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.1
Dimitris Psounis
 
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 7
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 7ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 7
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 7
Dimitris Psounis
 
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 8 (ΕΚΤΥΠΩΣΗ)
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 8 (ΕΚΤΥΠΩΣΗ)ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 8 (ΕΚΤΥΠΩΣΗ)
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 8 (ΕΚΤΥΠΩΣΗ)
Dimitris Psounis
 
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 8
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 8ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 8
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 8
Dimitris Psounis
 
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 7 (ΕΚΤΥΠΩΣΗ)
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 7 (ΕΚΤΥΠΩΣΗ)ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 7 (ΕΚΤΥΠΩΣΗ)
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 7 (ΕΚΤΥΠΩΣΗ)
Dimitris Psounis
 
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 6
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 6 ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 6
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 6
Dimitris Psounis
 

More from Dimitris Psounis (20)

Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 4 - ΚΛΑΣΕΙΣ ΚΑΙ ΑΝΑΦΟΡΕΣ
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 4 - ΚΛΑΣΕΙΣ ΚΑΙ ΑΝΑΦΟΡΕΣΗ ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 4 - ΚΛΑΣΕΙΣ ΚΑΙ ΑΝΑΦΟΡΕΣ
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 4 - ΚΛΑΣΕΙΣ ΚΑΙ ΑΝΑΦΟΡΕΣ
 
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 4 - ΚΛΑΣΕΙΣ ΚΑΙ ΑΝΑΦΟΡΕΣ (4διαφ)
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 4 - ΚΛΑΣΕΙΣ ΚΑΙ ΑΝΑΦΟΡΕΣ (4διαφ)Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 4 - ΚΛΑΣΕΙΣ ΚΑΙ ΑΝΑΦΟΡΕΣ (4διαφ)
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 4 - ΚΛΑΣΕΙΣ ΚΑΙ ΑΝΑΦΟΡΕΣ (4διαφ)
 
ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ (4δ)
ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ (4δ)ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ (4δ)
ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ (4δ)
 
ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ
ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ
ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ
 
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣΗ ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ
 
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ (4 διαφ)
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ (4 διαφ)Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ (4 διαφ)
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ (4 διαφ)
 
C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C
C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ CC++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C
C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C
 
C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C (4sl/p)
C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C (4sl/p)C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C (4sl/p)
C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C (4sl/p)
 
ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 6
ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 6ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 6
ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 6
 
ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 5
ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 5ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 5
ΠΛΗ20 ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ 5
 
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2 (ΕΚΤΥΠΩΣΗ)ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.2
 
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.1 (ΕΚΤΥΠΩΣΗ)ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.1 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.1
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.1ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.1
ΠΛΗ10 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.1
 
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 7
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 7ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 7
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 7
 
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 8 (ΕΚΤΥΠΩΣΗ)
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 8 (ΕΚΤΥΠΩΣΗ)ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 8 (ΕΚΤΥΠΩΣΗ)
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 8 (ΕΚΤΥΠΩΣΗ)
 
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 8
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 8ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 8
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 8
 
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 7 (ΕΚΤΥΠΩΣΗ)
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 7 (ΕΚΤΥΠΩΣΗ)ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 7 (ΕΚΤΥΠΩΣΗ)
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 7 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ31 - ΤΕΣΤ 33
ΠΛΗ31 - ΤΕΣΤ 33ΠΛΗ31 - ΤΕΣΤ 33
ΠΛΗ31 - ΤΕΣΤ 33
 
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 6
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 6 ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 6
ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΣΕ C - ΜΑΘΗΜΑ 6
 

Recently uploaded

ΕΦΗΜΕΡΙΔΑ ΜΟΛΥΒΑΚΙΑ 2ο φύλλο
ΕΦΗΜΕΡΙΔΑ                           ΜΟΛΥΒΑΚΙΑ 2ο φύλλοΕΦΗΜΕΡΙΔΑ                           ΜΟΛΥΒΑΚΙΑ 2ο φύλλο
ΕΦΗΜΕΡΙΔΑ ΜΟΛΥΒΑΚΙΑ 2ο φύλλο
Dimitra Mylonaki
 
Η ΔΙΑΤΡΟΦΗ ΤΩΝ ΜΑΘΗΤΩΝ/ΤΡΙΩΝ ΤΟΥ ΓΥΜΝΑΣΙΟΥ ΝΑΟΥΣΑΣ ΠΑΡΟΥ
Η ΔΙΑΤΡΟΦΗ ΤΩΝ ΜΑΘΗΤΩΝ/ΤΡΙΩΝ ΤΟΥ ΓΥΜΝΑΣΙΟΥ ΝΑΟΥΣΑΣ ΠΑΡΟΥΗ ΔΙΑΤΡΟΦΗ ΤΩΝ ΜΑΘΗΤΩΝ/ΤΡΙΩΝ ΤΟΥ ΓΥΜΝΑΣΙΟΥ ΝΑΟΥΣΑΣ ΠΑΡΟΥ
Η ΔΙΑΤΡΟΦΗ ΤΩΝ ΜΑΘΗΤΩΝ/ΤΡΙΩΝ ΤΟΥ ΓΥΜΝΑΣΙΟΥ ΝΑΟΥΣΑΣ ΠΑΡΟΥ
earkouli
 
How to Utilize Technology in Learning Presentation in Green and Brown Cartoon...
How to Utilize Technology in Learning Presentation in Green and Brown Cartoon...How to Utilize Technology in Learning Presentation in Green and Brown Cartoon...
How to Utilize Technology in Learning Presentation in Green and Brown Cartoon...
oureilidouan
 
Η ΣΑΪΤΑ 6ο φύλλο
Η ΣΑΪΤΑ                                  6ο φύλλοΗ ΣΑΪΤΑ                                  6ο φύλλο
Η ΣΑΪΤΑ 6ο φύλλο
Dimitra Mylonaki
 
year-2023-school-9290107-form-16-synopsis (1).pdf
year-2023-school-9290107-form-16-synopsis (1).pdfyear-2023-school-9290107-form-16-synopsis (1).pdf
year-2023-school-9290107-form-16-synopsis (1).pdf
MariaAlexiou13
 
Blue Futuristic Cyber Security Presentation.pdf
Blue Futuristic Cyber Security Presentation.pdfBlue Futuristic Cyber Security Presentation.pdf
Blue Futuristic Cyber Security Presentation.pdf
oureilidouan
 
ΗΜΕΡΑ ΓΗΣ.pdfφυλλα εργασιων για τη γηκαι το περιβάλλον για Ε και ΣΤ ΤΆΞΗ
ΗΜΕΡΑ ΓΗΣ.pdfφυλλα εργασιων για τη γηκαι το περιβάλλον για Ε και ΣΤ ΤΆΞΗΗΜΕΡΑ ΓΗΣ.pdfφυλλα εργασιων για τη γηκαι το περιβάλλον για Ε και ΣΤ ΤΆΞΗ
ΗΜΕΡΑ ΓΗΣ.pdfφυλλα εργασιων για τη γηκαι το περιβάλλον για Ε και ΣΤ ΤΆΞΗ
ΟΛΓΑ ΤΣΕΧΕΛΙΔΟΥ
 
Green Minimalist Case Studies Presentation.pdf
Green Minimalist Case Studies Presentation.pdfGreen Minimalist Case Studies Presentation.pdf
Green Minimalist Case Studies Presentation.pdf
oureilidouan
 
ΘΕΜΑΤΑ ΠΑΝΕΛΛΗΝΙΩΝ ΣΤΟΙΧΕΙΑ ΜΗΧΑΝΩΝ
ΘΕΜΑΤΑ ΠΑΝΕΛΛΗΝΙΩΝ ΣΤΟΙΧΕΙΑ ΜΗΧΑΝΩΝΘΕΜΑΤΑ ΠΑΝΕΛΛΗΝΙΩΝ ΣΤΟΙΧΕΙΑ ΜΗΧΑΝΩΝ
ΘΕΜΑΤΑ ΠΑΝΕΛΛΗΝΙΩΝ ΣΤΟΙΧΕΙΑ ΜΗΧΑΝΩΝ
ssuser503807
 
Beige Aesthetic Neutral Thesis Defense Presentation (1).pdf
Beige Aesthetic Neutral Thesis Defense Presentation (1).pdfBeige Aesthetic Neutral Thesis Defense Presentation (1).pdf
Beige Aesthetic Neutral Thesis Defense Presentation (1).pdf
oureilidouan
 
polychronopoulou-migdalia maria 2270! ch
polychronopoulou-migdalia maria 2270! chpolychronopoulou-migdalia maria 2270! ch
polychronopoulou-migdalia maria 2270! ch
PolychronopoulouMigd
 
Ανακεφαλαίωση Μαθήματος - Lesson Refresher
Ανακεφαλαίωση Μαθήματος - Lesson RefresherΑνακεφαλαίωση Μαθήματος - Lesson Refresher
Ανακεφαλαίωση Μαθήματος - Lesson Refresher
oureilidouan
 

Recently uploaded (12)

ΕΦΗΜΕΡΙΔΑ ΜΟΛΥΒΑΚΙΑ 2ο φύλλο
ΕΦΗΜΕΡΙΔΑ                           ΜΟΛΥΒΑΚΙΑ 2ο φύλλοΕΦΗΜΕΡΙΔΑ                           ΜΟΛΥΒΑΚΙΑ 2ο φύλλο
ΕΦΗΜΕΡΙΔΑ ΜΟΛΥΒΑΚΙΑ 2ο φύλλο
 
Η ΔΙΑΤΡΟΦΗ ΤΩΝ ΜΑΘΗΤΩΝ/ΤΡΙΩΝ ΤΟΥ ΓΥΜΝΑΣΙΟΥ ΝΑΟΥΣΑΣ ΠΑΡΟΥ
Η ΔΙΑΤΡΟΦΗ ΤΩΝ ΜΑΘΗΤΩΝ/ΤΡΙΩΝ ΤΟΥ ΓΥΜΝΑΣΙΟΥ ΝΑΟΥΣΑΣ ΠΑΡΟΥΗ ΔΙΑΤΡΟΦΗ ΤΩΝ ΜΑΘΗΤΩΝ/ΤΡΙΩΝ ΤΟΥ ΓΥΜΝΑΣΙΟΥ ΝΑΟΥΣΑΣ ΠΑΡΟΥ
Η ΔΙΑΤΡΟΦΗ ΤΩΝ ΜΑΘΗΤΩΝ/ΤΡΙΩΝ ΤΟΥ ΓΥΜΝΑΣΙΟΥ ΝΑΟΥΣΑΣ ΠΑΡΟΥ
 
How to Utilize Technology in Learning Presentation in Green and Brown Cartoon...
How to Utilize Technology in Learning Presentation in Green and Brown Cartoon...How to Utilize Technology in Learning Presentation in Green and Brown Cartoon...
How to Utilize Technology in Learning Presentation in Green and Brown Cartoon...
 
Η ΣΑΪΤΑ 6ο φύλλο
Η ΣΑΪΤΑ                                  6ο φύλλοΗ ΣΑΪΤΑ                                  6ο φύλλο
Η ΣΑΪΤΑ 6ο φύλλο
 
year-2023-school-9290107-form-16-synopsis (1).pdf
year-2023-school-9290107-form-16-synopsis (1).pdfyear-2023-school-9290107-form-16-synopsis (1).pdf
year-2023-school-9290107-form-16-synopsis (1).pdf
 
Blue Futuristic Cyber Security Presentation.pdf
Blue Futuristic Cyber Security Presentation.pdfBlue Futuristic Cyber Security Presentation.pdf
Blue Futuristic Cyber Security Presentation.pdf
 
ΗΜΕΡΑ ΓΗΣ.pdfφυλλα εργασιων για τη γηκαι το περιβάλλον για Ε και ΣΤ ΤΆΞΗ
ΗΜΕΡΑ ΓΗΣ.pdfφυλλα εργασιων για τη γηκαι το περιβάλλον για Ε και ΣΤ ΤΆΞΗΗΜΕΡΑ ΓΗΣ.pdfφυλλα εργασιων για τη γηκαι το περιβάλλον για Ε και ΣΤ ΤΆΞΗ
ΗΜΕΡΑ ΓΗΣ.pdfφυλλα εργασιων για τη γηκαι το περιβάλλον για Ε και ΣΤ ΤΆΞΗ
 
Green Minimalist Case Studies Presentation.pdf
Green Minimalist Case Studies Presentation.pdfGreen Minimalist Case Studies Presentation.pdf
Green Minimalist Case Studies Presentation.pdf
 
ΘΕΜΑΤΑ ΠΑΝΕΛΛΗΝΙΩΝ ΣΤΟΙΧΕΙΑ ΜΗΧΑΝΩΝ
ΘΕΜΑΤΑ ΠΑΝΕΛΛΗΝΙΩΝ ΣΤΟΙΧΕΙΑ ΜΗΧΑΝΩΝΘΕΜΑΤΑ ΠΑΝΕΛΛΗΝΙΩΝ ΣΤΟΙΧΕΙΑ ΜΗΧΑΝΩΝ
ΘΕΜΑΤΑ ΠΑΝΕΛΛΗΝΙΩΝ ΣΤΟΙΧΕΙΑ ΜΗΧΑΝΩΝ
 
Beige Aesthetic Neutral Thesis Defense Presentation (1).pdf
Beige Aesthetic Neutral Thesis Defense Presentation (1).pdfBeige Aesthetic Neutral Thesis Defense Presentation (1).pdf
Beige Aesthetic Neutral Thesis Defense Presentation (1).pdf
 
polychronopoulou-migdalia maria 2270! ch
polychronopoulou-migdalia maria 2270! chpolychronopoulou-migdalia maria 2270! ch
polychronopoulou-migdalia maria 2270! ch
 
Ανακεφαλαίωση Μαθήματος - Lesson Refresher
Ανακεφαλαίωση Μαθήματος - Lesson RefresherΑνακεφαλαίωση Μαθήματος - Lesson Refresher
Ανακεφαλαίωση Μαθήματος - Lesson Refresher
 

ΠΛΗ30 ΜΑΘΗΜΑ 5.2

  • 1. ΠΛΗ30 ΕΝΟΤΗΤΑ 5: ΑΠΟΦΑΣΙΣΙΜΕΣ και ΑΠΟ∆ΕΚΤΕΣ ΓΛΩΣΣΕΣ Μάθηµα 5.2: Αποφασίσιµες Γλώσσες ∆ηµήτρης Ψούνης
  • 2. ΠΕΡΙΕΧΟΜΕΝΑ Α. Σκοπός του Μαθήµατος Β. Θεωρία 1. Μηχανές Turing που αποφασίζουν γλώσσες 1. Ορισµός Αποφασίσιµης Γλώσσας 2. Οι µηχανές που γράφουν #Υ# και #Ν# 2. Μεθοδολογία Κατασκευής Μ.Τ. 1. Ισότητα 3 πραγµάτων 2. Αναλογία 3 πραγµάτων 3. Ανισότητα 4. Παλινδροµικότητα 5. Κανονικές Γλώσσες 3. Μη Ντετερµινιστικές Μ.Τ. 1. Μηχανή Turing για την παράθεση οµοίων 2. Μηχανή Turing που προσοµοιώνει ΜΠΑ 4. Κλειστότητα στις Αποφασίσιµες Γλώσσες 1. Κλειστότητα στην Ένωση 2. Κλειστότητα στην Τοµή 3. Κλειστότητα στο Συµπλήρωµα 4. Κλειστότητα στην Παράθεση 5. Κλειστότητα στο Αστέρι Kleene Γ.Ασκήσεις 2∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
  • 3. Α. Σκοπός του Μαθήµατος Οι στόχοι του µαθήµατος είναι: Επίπεδο Α Η µεθοδολογία κατασκευής Μ.Τ. που αποφασίζουν γλώσσες είναι SOS για τις τελικές εξετάσεις Επίπεδο Β Μη Ντετερµινιστικές Μ.Τ. Κλειστότητα Πράξεων στις Αποφασίσιµες Γλώσσες Επίπεδο Γ (-) 3∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
  • 4. B. Θεωρία 1. Μηχανές Turing που αποφασίζουν γλώσσες 1. Ορισµός Αποφασισιµης Γλώσσας Συνεπώς το επόµενο σύνολο γλωσσών που µελετάµε είναι το σύνολο των αποφασίσιµων γλωσσών για τις οποίες υπάρχει µηχανή Turing που τις αποφασίζει. 4∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες Μία µηχανή Turing θα λέµε ότι αποφασίζει µία γλώσσα αν για κάθε συµβολοσειρά εισόδου w: Τερµατίζει µε σχηµατισµό (h, #Y#) αν ∈ Τερµατίζει µε σχηµατισµό (h, #N#) αν ∉ Αν για µία γλώσσα L υπάρχει µηχανή Turing που την αποφασίζει λέγεται Turing- Αποφασίσιµη (ή Αναδροµική ή Επιλύσιµη ή Αποφασίσιµη Γλώσσα) Ο παραπάνω τυπικός ορισµός εισάγει δύο ειδικά σύµβολα στο αλφάβητο Y,N τα οποία συµβολίζουν αντίστοιχα την απάντηση ΝΑΙ – Y(es) και ΟΧΙ – Ν(ο). • Συνεπώς η δουλειά που πρέπει να κάνουµε είναι αφού καταλάβουµε αν η συµβολοσειρά εισόδου ανήκει ή όχι στην γλώσσα. • Να σβήνει την ταινία και να γράφει το σύµβολο Y στην µορφή #Y# αν η συµβολοσειρά εισόδου ανήκει στην γλώσσα. • Να σβήνει την ταινία και να γράφει το σύµβολο Ν στην µορφή #Ν# αν η συµβολοσειρά εισόδου δεν ανήκει στην γλώσσα.
  • 5. B. Θεωρία 1. Μηχανές Turing που αποφασίζουν γλώσσες 2. Οι µηχανές που γράφουν #Y# και #N# 5∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες Οι ακόλουθες δύο µηχανές θα φανούν χρήσιµες όταν γράφουµε µηχανές που αποφασίζουν γλώσσες. • Η ακόλουθη µηχανή (θα την συµβολίζουµε µε MY) µε είσοδο #w# σβήνει την είσοδο της και φέρνει την ταινία στην µορφή #Υ# • Η ακόλουθη µηχανή (θα την συµβολίζουµε µε MN) µε είσοδο #w# σβήνει την είσοδο της και φέρνει την ταινία στην µορφή #N# L # # # L # # #
  • 6. Παράδειγµα: ∆ίδεται η γλώσσα: 0 1 0 . Να κατασκευάσετε ντετερµινιστική µηχανή Turing M, µε αλφάβητο Σ={0,1,#,$,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο ∈ 0,1 ∗ ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της λειτουγίας της µηχανής και το διάγραµµα ροής της Μ. ΛΥΣΗ: ‘Ατυπη Περιγραφή της λειτουργίας της Μ.Τ.: Η µηχανή µετακινεί την κεφαλή στην αρχή της ταινίας και έπειτα σαρώνει επαναληπτικά την είσοδο από αριστερά προς τα δεξιά αντικαθιστώντας µία εµφάνιση 0 µε $ και µία εµφάνιση 1 µε $. Όταν όλη η είσοδος γίνει $, η µηχανή τερµατίζει απαντώντας YES. Σε κάθε άλλη περίπτωση απαντάει ΝΟ. Το διάγραµµα ροής της µηχανής είναι το ακόλουθο: B. Θεωρία 2. Μεθοδολογία Κατασκευής Μ.Τ. 1. Ισότητα 3 πραγµάτων 6∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες R 0 $ # L# R 1 $ $ 0, $ 1 #
  • 7. Άσκηση: ∆ίδεται η γλώσσα: 0 . Να κατασκευάσετε ντετερµινιστική µηχανή Turing M, µε αλφάβητο Σ={a,b,c,#,$,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο ∈ , , ∗ ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της λειτουγίας της µηχανής και το διάγραµµα ροής της Μ. B. Θεωρία 2. Μεθοδολογία Κατασκευής Μ.Τ. 1. Ισότητα 3 πραγµάτων 7∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
  • 8. Παράδειγµα: ∆ίδεται η γλώσσα: 0 1! 0 . Να κατασκευάσετε ντετερµινιστική µηχανή Turing M, µε αλφάβητο Σ={0,1,#,$,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο ∈ 0,1 ∗ ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της λειτουγίας της µηχανής και το διάγραµµα ροής της Μ. ΛΥΣΗ: ‘Ατυπη Περιγραφή της λειτουργίας της Μ.Τ.: Η µηχανή µετακινεί την κεφαλή στην αρχή της ταινίας και έπειτα σαρώνει επαναληπτικά την είσοδο από αριστερά προς τα δεξιά αντικαθιστώντας δύο εµφανίσεις 0 µε $ και τρεις εµφανίσεις 1 µε $. Όταν όλη η είσοδος γίνει $, η µηχανή τερµατίζει απαντώντας YES. Σε κάθε άλλη περίπτωση απαντάει ΝΟ. Το διάγραµµα ροής της µηχανής είναι το ακόλουθο: B. Θεωρία 2. Μεθοδολογία Κατασκευής Μ.Τ. 2. Αναλογία 3 πραγµάτων 8∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες R 0 $ # L# R $ 0 1 $ R 1 # $ R 1 0, $, # $ R 1 $ 0, $ 1, $, # 0, $, #
  • 9. Άσκηση: ∆ίδεται η γλώσσα: ! 0 . Να κατασκευάσετε ντετερµινιστική µηχανή Turing M, µε αλφάβητο Σ={a,b,c,#,$,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο ∈ , , ∗ ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της λειτουγίας της µηχανής και το διάγραµµα ροής της Μ. B. Θεωρία 2. Μεθοδολογία Κατασκευής Μ.Τ. 2. Αναλογία 3 πραγµάτων 9∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
  • 10. Παράδειγµα: ∆ίδεται η γλώσσα: " ∈ 0,1 ∗ . Να κατασκευάσετε ντετερµινιστική µηχανή Turing M, µε αλφάβητο Σ={0,1,#,$,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο ∈ 0,1 ∗ ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της λειτουγίας της µηχανής και το διάγραµµα ροής της Μ. ΛΥΣΗ: ‘Ατυπη Περιγραφή της λειτουργίας της Μ.Τ.: Κάνουµε ταίριασµα του αριστερότερου µε το δεξιότερο σύµβολο, µετατρέποντας τα σε $ εφόσον αυτά είναι ίδια. Αν δεν είναι ίδια τερµατίζουµε απαντώντας NO. Όταν όλη η είσοδος γίνει $, τερµατίζουµε απαντώντας YES. Το διάγραµµα ροής της µηχανής είναι το ακόλουθο: B. Θεωρία 2. Μεθοδολογία Κατασκευής Μ.Τ. 3. Παλινδροµικότητα 10∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες R 0 $ # L# $ R# L $ 0 $ $ R# $ L 11 #, 1 #, 0
  • 11. Άσκηση: ∆ίδεται η γλώσσα: " ∈ , ∗ . Να κατασκευάσετε ντετερµινιστική µηχανή Turing M, µε αλφάβητο Σ={a,b,c,#,$,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο ∈ , , ∗ ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της λειτουγίας της µηχανής και το διάγραµµα ροής της Μ. B. Θεωρία 2. Μεθοδολογία Κατασκευής Μ.Τ. 3. Παλινδροµικότητα 11∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
  • 12. Παράδειγµα: ∆ίδεται η γλώσσα: ∈ 0,1 ∗ | %&'(&)&( *+ 00 . Να κατασκευάσετε ντετερµινιστική µηχανή Turing M, µε αλφάβητο Σ={0,1,#,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο ∈ 0,1 ∗ ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της λειτουγίας της µηχανής και το διάγραµµα ροής της Μ. ΛΥΣΗ: Η γλώσσα είναι κανονική και αποφασίζεται από το ακόλουθο ΝΠΑ: B. Θεωρία 2. Μεθοδολογία Κατασκευής Μ.Τ. 4. Κανονικές Γλώσσες 12∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες q0 q2 0 0,11 q1 0 1 Μεθοδολογία: Προσοµοιώνουµε την λειτουργία του ΝΠΑ µε µία µηχανή Turing µε τους ακόλουθους κανόνες: • Μετακινούµε την κεφαλή στην αρχή της ταινίας (αν απαιτείται) • Κάθε κατάσταση γίνεται R • Βάζουµε µετάβαση µε # στην ΜΥ από κάθε τελική κατάσταση. • Βάζουµε µετάβαση µε # στην ΜΝ από κάθε µη τελική κατάσταση.
  • 13. ΛΥΣΗ (συνέχεια): Η λειτουργία του ΝΠΑ προσοµοιώνεται από την ακόλουθη µηχανή Turing: B. Θεωρία 2. Μεθοδολογία Κατασκευής Μ.Τ. 4. Κανονικές Γλώσσες 13∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες 0 # L# 1 R R R 0,1 0 1 , ##
  • 14. Άσκηση: ∆ίδεται η γλώσσα: ∈ 0,1 ∗ | -&. *&/&(ώ.&( 1& 01 . Να κατασκευάσετε ντετερµινιστική µηχανή Turing M, µε αλφάβητο Σ={0,1,#,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο ∈ 0,1 ∗ ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της λειτουγίας της µηχανής και το διάγραµµα ροής της Μ. B. Θεωρία 2. Μεθοδολογία Κατασκευής Μ.Τ. 4. Κανονικές Γλώσσες 14∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
  • 15. B. Θεωρία 3. Μη Ντετερµινιστικές Μηχανές Turing 1. Μη Ντετερµινιστικές Μηχανές Turing 15∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες Οι ιδέες του µη ντετερµινισµού µπορούν να επεκταθούν και στις µηχανές Turing. Έτσι µπορούµε να ορίσουµε µη ντετερµινιστικές µηχανές Turing οι οποίες: Μπορούν να καθορίζονται πολλές µεταβάσεις µε το ίδιο σύµβολο Ορίζονται ε-κινήσεις (κινήσεις χωρίς διάβασµα συµβόλου) Μία µη ντετερµινιστική µηχανή Turing: • Απαντά ΝΑΙ, αν υπάρχει έστω ένα µονοπάτι υπολογισµού που να οδηγεί σε αποδοχή. • Απαντά ΌΧΙ, αν δεν υπάρχει µονοπάτι υπολογισµού που να οδηγεί σε αποδοχή.
  • 16. Παράδειγµα: ∆ίδεται η γλώσσα: ∈ 0,1 ∗ . Να κατασκευάσετε µη ντετερµινιστική µηχανή Turing M, µε αλφάβητο Σ={0,1,#,$,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο ∈ 0,1 ∗ ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της λειτουγίας της µηχανής και το διάγραµµα ροής της Μ. ΛΥΣΗ: ‘Ατυπη Περιγραφή της λειτουργίας της Μ.Τ.: Η Μηχανή Turing µη διαβάζει το πρώτο σύµβολο της συµβολοσεριάς εισόδου και µη ντετερµινιστικά επιλέγει το σηµείο που αρχίζει η παράθεση της όµοιας συµβολοσειράς. Έπειτα γίνεται ταύτιση των εποµένων συµβόλων των δύο όµοιων συµβολοσειρών B. Θεωρία 3. Μη Ντετερµινιστικές Μηχανές Turing 1. Παραδείγµατα 16∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες R 0 $ # L# $ R$ $ 0 $ $ R$ $ R 11 #, 1 #, 0 R 0 R 0,1 $ 0 $ 1 R$ 1 $ 0,1 # # #
  • 17. Άσκηση: ∆ίδεται η γλώσσα: 23|2 -&. *&/&(ώ.&( 1& 0, 3 -&. ')(4&( 1& 1 . Να κατασκευάσετε ντετερµινιστική µηχανή Turing M, µε αλφάβητο Σ={0,1,#,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο ∈ 0,1 ∗ ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της λειτουγίας της µηχανής και το διάγραµµα ροής της Μ. B. Θεωρία 3. Μη Ντετερµινιστικές Μηχανές Turing 1. Παραδείγµατα 17∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
  • 18. Παράδειγµα: ∆ίδεται η γλώσσα: 50 6 17∗ 0150 6 17∗ Να κατασκευάσετε µη ντετερµινιστική µηχανή Turing M, µε αλφάβητο Σ={0,1,#,Υ,Ν} που να αποφασίζει την γλώσσα. Θεωρήστε ότι η Μ µε είσοδο ∈ 0,1 ∗ ξεκινά τη λειτουργία της από το σχηµατισµό #x#. ∆ώστε άτυπη περιγραφή της λειτουγίας της µηχανής και το διάγραµµα ροής της Μ. ΛΥΣΗ: Η γλώσσα είναι κανονική και αποφασίζεται από το ακόλουθο ΜΠΑ: B. Θεωρία 3. Μη Ντετερµινιστικές Μηχανές Turing 2. Μηχανή Turing που προσοµοιώνει ΜΠΑ 18∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες q0 q2 0 0,10,1 q1 1 Μεθοδολογία: Προσοµοιώνουµε την λειτουργία του ΝΠΑ µε µία µηχανή Turing µε τους ακόλουθους κανόνες: • Μετακινούµε την κεφαλή στην αρχή της ταινίας (αν απαιτείται) • Κάθε κατάσταση γίνεται R • Βάζουµε µετάβαση µε # στην ΜΥ από κάθε τελική κατάσταση. • Βάζουµε µετάβαση µε # στην ΜΝ από κάθε µη τελική κατάσταση.
  • 19. ΛΥΣΗ (συνέχεια): Η λειτουργία του ΜΠΑ προσοµοιώνεται από την ακόλουθη µηχανή Turing: B. Θεωρία 3. Μη Ντετερµινιστικές Μ.Τ. 2. Μηχανή Turing που προσοµοιώνει ΜΠΑ 19∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες 0 # L# 0,1 R R R 0,1 1 , ##
  • 20. B. Θεωρία 4. Κλειστότητα των Αποφασίσιµων Γλωσσών 20∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες Έστω δύο αποφασίσιµες γλώσσες Η ένωση τους είναι αποφασίσιµη γλώσσα Η παράθεση τους είναι αποφασίσιµη γλώσσα Η τοµή τους είναι αποφασίσιµη γλώσσα Το αστέρι Kleene µίας γλώσσας θα είναι αποφασίσιµη γλώσσα Το συµπλήρωµα µία γλώσσας θα είναι αποφασίσιµη γλώσσα Άρα έχουµε κλειστότητα σε όλες τις πράξεις στις αποφασίσιµες γλώσσες. Όλες οι κλειστότητες θα αποδειχθούν µέσω µηχανών Turing.
  • 21. B. Θεωρία 4. Κλειστότητα των Αποφασίσιµων Γλωσσών 1. Κλειστότητα στην Ένωση 21∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες Θεώρηµα (Κλειστότητα των Αποφασίσιµων Γλωσσών στην Ένωση) Αν η L1 είναι Αποφασίσιµη Γλώσσα και η L2 είναι Αποφασίσιµη Γλώσσα τότε και η L1 U L2 είναι Αποφασίσιµη Γλώσσα Απόδειξη Η L1 είναι Αποφασίσιµη Γλώσσα, άρα υπάρχει µία µηχανη Turing που την αποφασίζει έστω Μ1 Η L2 είναι Αποφασίσιµη Γλώσσα, άρα υπάρχει µία µηχανη Turing που την αποφασίζει έστω Μ2 Κατασκευάζουµε µία µηχανή Turing, έστω Μ’ η οποία µε είσοδο w λειτουργεί ως εξής: 1. Τρέχει την M1 µε είσοδο w. Αν η Μ1 απαντήσει ΝΑΙ, τότε η Μ’ απαντά ΝΑΙ και τερµατίζει. Αν η Μ1 απαντήσει ΌΧΙ προχωράει στο βήµα 2: 2. Τρέχει την Μ2 µε είσοδο w. Αν η η Μ2 απαντήσει ΝΑΙ, τότε η Μ’ απαντά ΝΑΙ και τερµατίζει. Αν η Μ2 απαντήσει ΌΧΙ τότε απαντά ΌΧΙ και τερµατίζει.
  • 22. B. Θεωρία 4. Κλειστότητα των Αποφασίσιµων Γλωσσών 2. Κλειστότητα στην Τοµή 22∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες Θεώρηµα (Κλειστότητα των Αποφασίσιµων Γλωσσών στην Τοµή) Αν η L1 είναι Αποφασίσιµη Γλώσσα και η L2 είναι Αποφασίσιµη Γλώσσα τότε και η 8 ∩ είναι Αποφασίσιµη Γλώσσα Απόδειξη Η L1 είναι Αποφασίσιµη Γλώσσα, άρα υπάρχει µία µηχανη Turing που την αποφασίζει έστω Μ1 Η L2 είναι Αποφασίσιµη Γλώσσα, άρα υπάρχει µία µηχανη Turing που την αποφασίζει έστω Μ2 Κατασκευάζουµε µία µηχανή Turing, έστω Μ’ η οποία µε είσοδο w λειτουργεί ως εξής: 1. Τρέχει την M1 µε είσοδο w. Αν η Μ1 απαντήσει ΟΧΙ, τότε η Μ’ απαντά ΟΧΙ και τερµατίζει. Αν η Μ1 απαντήσει ΝΑΙ προχωρά στο βήµα 2: 2. Τρέχει την Μ2 µε είσοδο w. Αν η η Μ2 απαντήσει ΟΧΙ, τότε η Μ’ απαντά ΟΧΙ και τερµατίζει. Αν η Μ2 απαντήσει ΝΑΙ τότε η Μ’ απαντά ΝΑΙ και τερµατίζει.
  • 23. B. Θεωρία 4. Κλειστότητα των Αποφασίσιµων Γλωσσών 3. Κλειστότητα στο Συµπλήρωµα 23∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες Θεώρηµα (Κλειστότητα των Αποφασίσιµων Γλωσσών στο Συµπλήρωµα) Αν η L είναι Αποφασίσιµη Γλώσσα η L: είναι Αποφασίσιµη Γλώσσα Απόδειξη Η L είναι Αποφασίσιµη Γλώσσα, άρα υπάρχει µία µηχανη Turing που την αποφασίζει έστω Μ Κατασκευάζουµε µία µηχανή Turing, έστω Μ’ η οποία µε είσοδο w λειτουργεί ως εξής: 1. Τρέχει την M µε είσοδο w. • Αν η Μ απαντήσει ΟΧΙ, τότε η Μ’ απαντά NAI και τερµατίζει. • Αν η Μ απαντήσει OXI, τότε η Μ’ απαντάει ΌΧΙ και τερµατίζει.
  • 24. B. Θεωρία 4. Κλειστότητα των Αποφασίσιµων Γλωσσών 4. Κλειστότητα στην Παράθεση 24∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες Θεώρηµα (Κλειστότητα των Αποφασίσιµων Γλωσσών στην Παράθεση) Αν η L1 είναι Αποφασίσιµη Γλώσσα και η L2 είναι Αποφασίσιµη Γλώσσα τότε και η 8 είναι Αποφασίσιµη Γλώσσα Απόδειξη Η L1 είναι Αποφασίσιµη Γλώσσα, άρα υπάρχει µία µηχανη Turing που την αποφασίζει έστω Μ1 Η L2 είναι Αποφασίσιµη Γλώσσα, άρα υπάρχει µία µηχανη Turing που την αποφασίζει έστω Μ2 Κατασκευάζουµε µία µηχανή Turing, έστω Μ’ η οποία µε είσοδο w λειτουργεί ως εξής: 1. Πρώτα µία µηχανή Turing διαχωριστής D παράγει όλους τους δυνατούς διαχωρισµούς της συµβολοσειράς w στην παράθεση δύο συµβολοσειρών w1 και w2 (δηλαδή όλους τους δυνατούς διαχωρισµούς της w ως w1w2.) 2. Για κάθε δυνατό διαχωρισµό: 1. Τρέχει την M1 µε είσοδο w1 και την M2 µε είσοδο w2. Αν και οι δύο µηχανές απαντήσουν ΝΑΙ, τότε η Μ’ τερµατίζει απαντώντας ΝΑΙ Αν όλοι οι δυνατοί διαχωρισµοί απαντηθούν ΌΧΙ, τότε και η Μ’ τερµατίζει απαντώντας ΌΧΙ.
  • 25. B. Θεωρία 4. Κλειστότητα των Αποφασίσιµων Γλωσσών 5. Κλειστότητα στο Αστέρι Kleene 25∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες Θεώρηµα (Κλειστότητα των Αποφασίσιµων Γλωσσών στο Αστέρι Kleene) Αν η L είναι Αποφασίσιµη Γλώσσα η ∗ είναι Αποφασίσιµη Γλώσσα Απόδειξη Η L είναι Αποφασίσιµη Γλώσσα, άρα υπάρχει µία µηχανη Turing που την αποφασίζει έστω Μ Κατασκευάζουµε µία µηχανή Turing, έστω Μ’ η οποία µε είσοδο w λειτουργεί ως εξής: 1. Πρώτα µία µηχανή Turing διαχωριστής D παράγει όλους τους δυνατούς διαχωρισµούς της συµβολοσειράς w στην παράθεση 1..|w| συµβολοσειρών (δηλαδή όλους τους δυνατούς διαχωρισµούς της w ως w1w2…wk µε k=1,2,…|w|) 2. Για κάθε δυνατό διαχωρισµό: 1. Τρέχει την M διαδοχικά µε εισόδους w1,w2 , … , wk. Αν η Μ απαντήσει ΝΑΙ για όλες τις συµβολοσειρές τότε η Μ’ τερµατίζει απαντώντας ΝΑΙ. Αν όλοι οι δυνατοί διαχωρισµοί απαντηθούν ΌΧΙ, τότε και η Μ’ τερµατίζει απαντώντας ΌΧΙ.
  • 26. Γ. Ασκήσεις Εφαρµογή 1 (2009Α) Εστω αλφάβητο Σ = {0,1} και η γλώσσα: L = {w ∈ Σ* : το w περιέχει τουλάχιστον δύο 0 (συνεχόµενα ή όχι)}. Να κατασκευάσετε µηχανή Turing Τ µε αλφάβητο Σ0 = {0, 1, #, Y, N} που θα αποφασίζει την γλώσσα L. Η µηχανή θα ξεκινά µε σχηµατισµό: #w# για κάποιο w ∈ Σ*. ∆ώστε άτυπη περιγραφή της παραπάνω µηχανής Turing (τον αλγόριθµο διαχείρισης της ταινίας) και στη συνέχεια τυπική περιγραφή µέσω γραφήµατος ροής. 26∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
  • 27. Γ. Ασκήσεις Εφαρµογή 2 (2009Β) Έστω αλφάβητο Σ = {0,1} και η γλώσσα: L = {w ∈ Σ* : το w περιέχει τουλάχιστον δύο συνεχόµενα 0 (δηλαδή: 00)}. Να κατασκευάσετε µηχανή Turing Τ µε αλφάβητο Σ0 = {0, 1, #, Y, N} που θα αποφασίζει την γλώσσα L. Η µηχανή θα ξεκινά µε σχηµατισµό: #w# για κάποιο w ∈ Σ*. ∆ώστε άτυπη περιγραφή της παραπάνω µηχανής Turing (τον αλγόριθµο διαχείρισης της ταινίας) και στη συνέχεια τυπική περιγραφή µέσω γραφήµατος ροής. 27∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
  • 28. Γ. Ασκήσεις Εφαρµογή 3 (2010Α) Εξηγήστε γιατί το πρόβληµα του κατά πόσον µια συµβολοσειρά στο αλφάβητο {0,1} περιέχει τον ίδιο αριθµό 0 και 1 είναι επιλύσιµο (αποφασίσιµο). 28∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
  • 29. Γ. Ασκήσεις Εφαρµογή 4 (2011Α) Να κατασκευάσετε ντετερµινιστική µηχανή Turing M, µε αλφάβητο Σ = {0, 1, #, Y, N}, που να αποφασίζει την γλώσσα L = { x ∈ {0,1}* | η x είναι παλίνδροµο }. Παλίνδροµα είναι οι συµβολοσειρές που διαβάζονται το ίδιο και από δεξιά και από αριστερά. Θεωρήστε ότι η Μ µε είσοδο x∈{0,1}* ξεκινά την λειτουργία της από τον σχηµατισµό #x#. Οι χαρακτήρες Υ (YES) και Ν (NO) χρησιµοποιούνται αποκλειστικά για την σηµατοδότηση της αποδοχής ή της απόρριψη της εισόδου, αντίστοιχα. (1) ∆ώστε µια άτυπη περιγραφή της λειτουργίας της Μ (έναν αλγόριθµο διαχείρισης της ταινίας της). 29∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες
  • 30. Γ. Ασκήσεις Εφαρµογή 4 (2) ∆ώστε το γράφηµα ροής της Μ (σχηµατική αναπαράσταση µε χρήση γνωστών µηχανών). (3) ∆ώστε τον υπολογισµό της Μ για τους παρακάτω αρχικούς µετασχηµατισµούς: (i) #01010# (ii) #1001# (iii) #1101# και (iv) ## 30∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.2: Αποφασίσιµες Γλώσσες