K είναι το σύνολο των καταστάσεων. Σ είναι το αλφάβητο των συµβόλων που χρησιµοποιούνται και το οποίο. s K είναι η αρχική κατάσταση της M.

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "K είναι το σύνολο των καταστάσεων. Σ είναι το αλφάβητο των συµβόλων που χρησιµοποιούνται και το οποίο. s K είναι η αρχική κατάσταση της M."

Transcript

1 Ισοδυναµία των Μηχανών Turing (TM) Αλέξανδρος Γ. Συγκελάκης 11 Απριλίου Βασική µορφή Μηχανών Turing (BTM) Η ϐασική µορφή της Μηχανής Turing (ΒΤΜ) αποτελείται από ένα σύνολο εντολών, µία ταινία που έχει αριστερό άκρο αλλά δεν έχει δεξί τέλος (όπως λέµε είναι τύπου N), η οποία διαιρείται σε κελιά, και µία κεφαλή η οποία µπορεί να µετακινείται µε τρόπο που ϑα ορίσουµε παρακάτω (Σχήµα 1). Σχήµα 1: Πρότυπο Βασικής Μηχανής T uring Σε ένα ϐήµα η ΒΤΜ, ανάλογα µε το σύµβολο το οποίο ϑα διαβάσει η κεφαλή και µε την εντολή που πρέπει να εκτελέσει ϐλέποντας αυτό το σύµβολο (από το σύνολο των εντολών), µπορεί να κάνει τα εξής : Να αλλάζει την κατάσταση στην οποία ϐρισκόταν Να αλλάζει κάποιο σύµβολο στο κελί της ταινίας που διαβάζει αντικα- ϑιστώντας το µε κάποιο άλλο σύµβολο (µπορεί και το ίδιο) ή να µετακινήσει την κεφαλή της, αριστερά ή δεξιά κατά ένα κελί Τµήµα Μαθηµατικών, Πανεπιστήµιο Κρήτης 1

2 Επειδή όπως άναφέραµε, η µηχανή έχει αριστερό άκρο, η µηχανή πρέπει να µπορεί αναγνωρίζει την ϑέση αυτή, καθώς δεν µπορεί να µετακινηθεί αριστερότερα. Ετσι τοποθετούµε το ειδικό σύµβολο στο αριστερότερο κελί της µηχανής ώστε όταν το διαβάζει να µετακινεί την κεφαλή της οπωσδήποτε δεξιά. Θα χρησιµοποιήσουµε επίσης τα σύµβολα 1, +1 για να δηλώσουµε ότι η κε- ϕαλή της µηχανής µετακινείται µία ϑέση αριστερά ή δεξιά αντίστοιχα. Αυτά τα σύµβολα δεν ϑα περιέχονται στο αλφάβητο το οποίο ϑα ορίσουµε παρακάτω. Η µηχανή έχει γραµµένη την είσοδο που δίνουµε, γράφοντας κάθε ένα σύµ- ϐολο της εισόδου σε ένα κελί ξεκινώντας αµέσως µετά από το ειδικό σύµβολο και δεξιότερα. Τα υπόλοιπα κελιά της µηχανής περιέχουν το κενό σύµβολο, για το οποίο ϑα χρησιµοποιήσουµε το σύµβολο. Η κεφαλή επιτρέπεται να µετακινήσει την κεφαλή κατα ένα κελί δεξιά ή αριστερά σε κάθε ϐήµα, άρα µετά από πεπερασµένου πλήθους ϐήµατα, µόνο πεπερασµένου πληθους κελιά ϑα έ- χει σαρώσει η κεφαλή. Τώρα είµαστε έτοιµοι να δώσουµε τον τυπικό ορισµό της Βασικής Μορφής Μηχανής Turing (ΒΤΜ). Ορισµός 1.1 Μηχανή Turing M, είναι µία 5-άδα K, Σ, δ, s, H όπου : K είναι το σύνολο των καταστάσεων. Σ είναι το αλφάβητο των συµβόλων που χρησιµοποιούνται και το οποίο περιέχει το κενό σύµβολο καθώς επίσης και το αλλά όχι τα 1, +1. s K είναι η αρχική κατάσταση της M. H K είναι το σύνολο των τελικών καταστάσεων και τέλος, δ : (K H) Σ K (Σ { 1, +1}) είναι η συνάρτηση µετάβασης η οποία είναι τέτοια, ώστε (i) Για κάθε q K H εαν δ(q, ) = (p, b), τότε b = +1. (ii) Για κάθε q K H και a Σ, εαν δ(q, a) = (p, b), τότε b. Εαν q K H, a Σ, και δ(q, a) = (p, b), τότε η µηχανή M όταν ϐρεθεί στην κατάσταση q και διαβάσει το σύµβολο a ϑα περάσει σε µια (νέα) κατάσταση p, και (i) είτε το b είναι σύµβολο του Σ οπότε η M ϑα γράψει στη ϑέση του a, το b είτε (ii) εαν b { 1, 1}, η µηχανή M ϑα κινήσει την κεφαλή κατά µία ϑέση δεξιά ή αριστερά. Καθώς η δ είναι συνάρτηση, η λειτουργία της M είναι ντετερµινιστική και ϑα σταµατήσει µόνο όταν η M εισέλθει σε τελική κατάσταση. Ας σηµειωθεί ότι µε τα (i), (ii) της συνάρτησης δ,εξασφαλίζουµε ότι η µηχανή µόλις δει το σύµβολο, ϑα µετακινηθεί οπωσδήποτε δεξιά και το σύµβολο αυτό δεν µπορεί να σβηστεί από το πρώτο κελί. Είναι καθαρά και µόνον για ϐοηθητικό σκοπό. Θα περιγράψουµε τώρα πιο ϕορµαλιστικά την λειτουργία της µηχανής. Για να δούµε καταρχήν την κατάσταση της µηχανής σε κάποιο συγκεκριµένο ϐήµα M, χρειαζόµαστε το σύνολο των καταστάσεων, το περιεχόµενο της ταινίας εκείνη τη στιγµή καθώς επίσης και την ϑέση της κεφαλής. Καθώς όλη η ταινία, εκτός από πεπερασµένου πλήθους κελιά, είναι κενή, το περιεχόµενο της ταινίας µπορεί να 2

3 περιγραφεί από µια πεπερασµένη ακολουθία συµβόλων. Αυτή την ακολουθία επιλέγουµε να την σπάσουµε σε δύο µέρη ως προς το κελί που διαβάζουµε ως εξής : στο αριστερότερο αυτού του κελιού το οποίο περιέχει και το περιεχόµενο του κελιού που διαβάζουµε, και στο υπόλοιπο (πιθανόν και κενό) δεξιότερο µέρος του κελιού αυτού. Επιπλέον, απαιτούµε το δεξί µέρος να µην τελειώνει σε, έτσι ώστε κανένα από αυτά τα 2 µέρη να µην αντιστοιχεί σε ίδιο συνδιασµό ϑέσης κεφαλής-περιεχοµένου ταινίας. (έτσι κι αλλιώς, όλα τα κελιά τα δεξιότερα του τελευταίου, δεχόµαστε ότι περιέχουν ). Ορισµός 1.2 Στιγµιότυπο µίας µηχανής M = K, Σ, δ, s, H, είναι ένα στοιχείο του K Σ (Σ (Σ { }) {e}). Παράδειγµα 1.1 Καθώς λοιπόν όλα τα στιγµιότυπα πρέπει να ξεκινούν µε το σύµ- ϐολο και ποτέ να µην τελειώνουν µε (εκτός εαν το κελί του οποίου ϐρίσκουµε το στιγµιότυπο περιέχει το ), τα (q, a, aba), (h,, a) και (q, a, e) είναι στιγµιότυπα, ενώ τα (q, baa, a, bc ) και (q, aa, ba) δεν είναι. Από εδώ και στο εξής ϑα χρησιµοποιούµε τον συµβολισµό (q, wau) για το στιγµιότυπο (q, wa, u), όπου το υπογραµµισµένο στοιχείο στον παραπάνω συµ- ϐολισµό, δείχνει την ϑέση της κεφαλής. Ενα στιγµιότυπο ϑα λέγεται τελικό στιγµιότυπο, εαν η κατάσταση στην οποία ϐρίσκεται είναι τελική. Ορισµός 1.3 Εστω M = K, Σ, δ, s, H µία µηχανή T uring και έστω δύο στιγ- µιότυπα της M, (q 1, w 1 a 1 u 1 ) και (q 2, w 2 a 2 u 2 ), όπου a 1, a 2 Σ. Τότε γράφουµε (q 1, w 1 a 1 u 1 ) M (q 2, w 2 a 2 u 2 ) αν-ν 1 για κάποιο b Σ { 1, 1}, δ(q 1, a 1 ) = (q 2, b) και είτε 1. b Σ, w 1 = w 2, u 1 = u 2 και a 2 = b είτε, 2. b = 1, w 1 = w 2 a 2, και είτε (i) u 2 = a 1 u 1, εαν a ή u 1 e, (ii) u 2 = e, εαν a = και u 1 = e 3. b = +1, w 2 = w 1 a 1 και είτε (i) u 1 = a 2 u 2 ή (ii) u 1 = u 2 = e και a 2 =. Ορισµός 1.4 Εαν δύο στιγµιότυπα σχετίζονται µε την σχέση M όπως περιγράφτηκε παραπάνω, λέµε ότι το δεύτερο προκύπτει από το πρώτο σε ένα ϐήµα ενώ εαν ένα στιγµιότυπο προκύπτει από κάποιο άλλο σε πεπερασµένο αριθµό ϐηµάτων (συµπεριλαµβάνοντας και τα µηδενικά ϐήµατα), τότε λέµε ότι το δεύτερο είναι 1 συντοµογραφία του αν και µόνο αν. 3

4 επόµενο του πρώτου και σχετίζονται µε την σχέση M αντί της M. Πιο συγκεκριµένα λέµε ότι το στιγµιότυπο C 1 παράγει το C 2 ή ότι το C 2 είναι επόµενο του C 1, εαν C 1 M C 2. Υπολογισµός από την M είναι µία ακολουθία στιγµιοτύπων C 0, C 1,..., C n για κάποιο n 0 για την οποία ισχύει C 0 M C 1 M C 2 M M C n Τότε λέµε ότι ο υπολογισµός έχει µήκος n, ή ότι αποτελείται από n ϐήµατα και γράφουµε C 0 n M C n. 2 Συνδιασµός Μηχανών Turing (BTM) Οι µηχανές T uring που µπορούµε να παράγουµε µε τον προηγούµενο ορισ- µό, είναι πολύ απλές, τόσο, ώστε τελικά η αναπαράστασή τους να γίνεται εξαιρετικά δύσκολη υπόθεση, ειδικά όταν οι απαιτήσεις του προβλήµατος αυξάνονται. Χρειαζόµαστε λοιπόν µία αναπαράσταση µηχανών T uring η οποία να είναι παραστατικότερη και διαυγέστερη. Η ιδέα είναι να προσπαθήσουµε να συνδιάσουµε πολλές µηχανές T uring µε κάποιο τρόπο, ώστε ένα δύσκολο πρόβληµα να µπορεί να αναλυθεί σε άλλα µικρότερα. Για παράδειγµα ϑα µπορούσαµε να ϕτιάξουµε ένα ϱεπερτόριο από ϐασικές µηχανές T uring τις οποίες χρησι- µοποιούµε συχνότερα, και κάνοντας χρήση αυτών να δηµιουργήσουµε µία καινούρια. Βασικές Μηχανές Turing: Ξεκινούµε την µελέτη τους από τις πολύ απλές. Εκείνες οι µηχανές που απλά γράφουν ένα σύµβολο (symbol-writing machines) και εκείνες που απλά µετακινούν την κεφαλή δεξιά ή αριστερά (head-moving machines). Εστω αλφάβητο Σ της µηχανής µας. Για κάθε a Σ { 1, +1} { }, ορίζουµε την µηχανή T uring M a = ({s, h}, Σ, δ, s, {h}), όπου για κάθε b Σ { }, έχουµε δ(s, b) = (h, a). Εξ ορισµού δ(s, ) = (s, +1). Αυτό σηµαίνει ότι το µόνο που κάνουν αυτές οι µηχανές είναι να εκτελούν σε κάθε ϐήµα το αντίστοιχο a (γράφοντας το σύµβολο a, εαν a Σ, µετακινώντας κατά a την κεφαλή εαν a { 1, +1}) και αµέσως µετά τερµατίζουν. Εξ ορισµού υπάρχει µία µοναδική εξαίρεση στην παραπάνω λειτουργία της µηχανής. Εαν το σύµβολο που ϑα σαρώσει η µηχανή είναι το τότε, απαραίτητα η µηχανή ϑα µετακινηθεί προς τα δεξιά. Επειδή οι µηχανές που απλά γράφουν ένα σύµβολο χρησιµοποιούνται πολύ συχνα, ϑα συντοµεύσουµε τα ονόµατά τους και απλά ϑα γράφουµε a αντί για M a. Αυτό σηµαίνει ότι εαν a Σ τότε αυτή η µηχανή ϑα συµβολίζεται απλά µε a. Οι µηχανές που απλά µετακινούν την κεφαλή αριστερά ή δεξιά M 1, M +1 ϑα συµβολίζονται στο εξής : L και R αντίστοιχα. Οµως πώς µπορεί να γίνει ένας τέτοιος συνδιασµός ϐασικών µηχανών T uring, και µε ποιό τρόπο χρησιµοποιώντας αυτές ϑα δηµιουργήσουµε µία καινούρια ; Μία πολύ καλή ιδέα την οποία χρησιµοποιούµε και στα πεπερασµένα Automata, είναι να ενώσουµε τις καταστάσεις των µηχανών ώστε να µπορούµε από τη λειτουργία της µίας να µεταβούµε σε λειτουργία της άλλης. Οπωσδήποτε δεν επιδιώκουµε εκκίνηση της επόµενης µηχανής εαν δεν σταµατήσει η πρώτη. η 4

5 δεύτερη µηχανή τότε, ξεκινάει την λειτουργία της από την αρχική της κατάσταση µε την ταινία και την ϑέση της κεφαλής εκεί όπου είχε σταµατήσει η πρώτη. Ετσι λοιπόν, εαν για παράδειγµα M 1, M 2 και M 3 είναι τρεις µηχανές T uring, τότε η µηχανή που ϕαίνεται στο Σχήµα 2 λειτουργεί ως εξής : Ξεκινάει η λειτουργία της από την αρχική κατάσταση της M 1, λειτουργεί κανονικά όπως ϑα λειτουργούσε η M 1 µέχρι να σταµατήσει. εαν το σύµβολο που διαβάζει τότε η κεφαλή είναι το a, ξεκινά την λειτουργία της η M 2 και λειτουργεί όπως ϑα λειτουργούσε η M 2, διαφορετικά, εαν το σύµβολο που διαβάζει τότε η κεφαλή είναι το b, τότε ξεκινά τη λειτουργία της η M 3 και λειτουργεί όπως ϑα λειτουργούσε η M 3. Σχήµα 2: Συνδυασµός Μηχανών T uring Γίνεται λοιπόν καθαρότερος ο τρόπος µε τον οποίο µπορούµε να το κάνουµε αυτό. Μένει λοιπόν να ορίσουµε αυστηρότερα µηχανή M που η λειτουργία της συνίσταται στην λειτουργία των υπολοίπων τριών µηχανών M 1, M 2 και M 3. Ας υποθέσουµε λοιπόν ότι M 1 = K 1, Σ, δ 1, s 1, H 1, M 2 = K 2, Σ, δ 2, s 2, H 2 και M 3 = K 3, Σ, δ 3, s 3, H 3. Θα υποθέσουµε τώρα, ότι τα σύνολα των καταστάσεων K 1, K 2, K 3 είναι ξένα µεταξύ τους, κάτι το οποίο είναι αρκετά ϐολικό για να µην επέλθει σύγχυση. Τότε η µηχανή που προκύπτει από τον συνδιασµό των υπολοίπων τριών ϑα είναι η M = K, Σ, δ, s, H, όπου K = K 1 K3 K3 s = s 1 H = H 2 H3 Για κάθε σύµβολο σ Σ και q K H, η συνάρτηση µετάβασης δ(q, σ) ορίζεται ως ακολούθως : 1. Εαν q K 1 H 1 τότε δ(q, σ) = δ 1 (q, σ) 2. Εαν q K 2 H 2 τότε δ(q, σ) = δ 2 (q, σ) 3. Εαν q K 3 H 3 τότε δ(q, σ) = δ 3 (q, σ) 4. Τέλος, εαν q H - η µόνη περίπτωση που έχει µείνει -, τότε δ(q, σ) = s 2 εαν σ = a, δ(q, σ) = s 3 εαν σ = b και δ(q, σ) H διαφορετικά. Προφανώς η µηχανή M µε τον τρόπο που ορίστηκε παραπάνω, είναι µία µηχανή T uring. Τώρα λοιπόν, έχουµε όλα τα συστατικά, για να συνδιάσουµε ϐασικές 5

6 µηχανές T uring και να πάρουµε πιο πολύπλοκες. Μπορούµε να συνεχίζουµε µε αυτό τον τρόπο και να συνδιάσουµε ήδη συνδιασµένες µηχανές T uring για την δηµιουργία καινούριων µηχανών κ.ο.κ. Παράδειγµα 2.1 Το σχήµα 2.1(a) δείχνει µία µηχανή η οποία περιέχει δύο αντίγραφα της µηχανής R. Η µηχανή που δείχνει το σχήµα αυτό µετακινεί την κεφαλή προς τα δεξιά ένα κελί και µετά, εαν το κελί αυτό περιέχει a, b,, τότε µετακινεί την κεφαλή µία ϑέση ακόµη προς τα δεξιά. Είναι ϐολικό να παραστήσουµε µία τέτοια µηχανή µε την µηχανή που ϕαίνεται στο σχήµα 2.1(b). Ετσι ένα ϐέλος που δείχνει πολλά σύµβολα, είναι το ίδιο µε πολλά ϐέλη κάθε ένα από τα οποία έχει ένα και µόνο σύµβολο. Εαν ένα ϐέλος έχει όλα τα σύµβολα του αλφαβήτου Σ τότε τα σύµβολα αυτά µπορούµε να τα παραλείψουµε 2. Μπορούµε για να απλουστεύσουµε περισσότερο τα πράγµατα να παραλείποντας ακόµη και το ϐέλος εαν ξέρουµε ότι το αλφάβητο Σ είναι το Σ = {a, b,, }. Ετσι το σχήµα 2.1(b) παίρνει τη µορφή RR ή ακόµη απλούστερα R 2. Παράδειγµα 2.2 Εαν a Σ είναι οποιοδήποτε σύµβολο, µπορούµε µερικές ϕορές να παραλείψουµε πολλαπλά ϐέλη και περιγραφές αυτών, χρησιµοποιώντας τον συµβολισµό a το οποίο σηµαίνει : οποιοδήποτε σύµβολο εκτός του a. Τότε η µηχανή που απεικονίζεται στο σχήµα 2.2(a) σαρώνει την ταινία και µετακινεί την κεφαλή προς τα δεξιά µέχρι να ϐρει. Θα συµβολίζουµε αυτή την πολύ χρήσιµη µηχανή µε R. Αλλη µία πολύ χρήσιµη συντόµευση της ίδιας µηχανής του σχήµατος 2.2(a), είναι αυτή που ϕαίνεται στο σχήµα 2.2(b). Τώρα το a διαβάζεται ως οποιοδήποτε σύµβολο a εκτός του. Το πλεονέκτηµα αυτού του συµβολισµού είναι ότι το a µπορεί να χρησιµοποιηθεί πλέον οπουδήποτε στο διάγραµµα ως το όνοµα της µηχανής. Για να το δείξουµε αυτό καλύτερα, το σχήµα 2.2(c), απεικονίζει µία µηχανή η οποία σαρώνει τα σύµβολα που ϐλέπει και µετακινείται προς τα δεξιά µέχρι να ϐρει ένα µη κενό κελί. Οταν το ϐρει, αντιγράφει το σύµβολο αυτού του κελιού, στο κελί που ϐρίσκεται αµέσως αριστερότερα από αυτό. 2 Η αριστερότερη µηχανή για ϐολικούς λόγους, είναι πάντοτε η αρχική. 6

7 Παράδειγµα 2.3 Μηχανές που ϐρίσκουν κελιά µε συγκεκριµένο περιεχόµενο ϕαίνονται στα σχήµα 2.3. Συγκεκριµένα : α Η R, η οποία ϐρίσκει το πρώτο κελί που περιέχει αµέσως δεξιότερα από το κελί το οποίο σαρώνεται εκείνη τη στιγµή. ϐ Η L, η οποία ϐρίσκει το πρώτο κελί που περιέχει αµέσως αριστερότερα από το κελί το οποίο σαρώνεται εκείνη τη στιγµή. ς Η R, η οποία ϐρίσκει το πρώτο µη κενό κελί που περιέχεται αµέσως δεξιότερα από το κελί το οποίο σαρώνεται εκείνη τη στιγµή. δ Η L, η οποία ϐρίσκει το πρώτο µη κενό κελί που περιέχεται αµέσως αριστερότερα από το κελί το οποίο σαρώνεται εκείνη τη στιγµή. Παράδειγµα 2.4 Θα δώσουµε σαν τελευταίο παράδειγµα την µηχανή C που αντιγράφει την είσοδο που της δείνουµε αφήνοντας ένα κενό ενδιάµεσα copying machine. Πιο συγκεκριµένα, εαν η C ξεκινά µε είσοδο w (δηλαδή αµέσως αριστερότερα αυτής και εκεί απ οπου ϐρίσκεται η κεφαλή της ταινίας, περιέχεται το και αµέσως δεξιότερα υπάρχουν απεριόριστα κενά, ενώ η είσοδος w δεν περιέχει η ίδια κενά). Τότε η µηχανή ϑα σταµατήσει αφού το περιεχόµενό της γίνει το w w. Τότε λέµε ότι η C µετέτρεψε το w στο w w. Ενα διάγραµµα που να περιγράφει αυτή τη µηχανή δίνεται στο σχήµα Υπολογίζοντας µε τη ϐοήθεια Μηχανών Turing Στο κεφάλαιο αυτό, ϑα αναφερθούµε στις µηχανές T uring ως αποδέκτες γλωσσών. Γιάυτό το λόγο οι µηχανές που ϑα δούµε ϑα ικανοποιούν κάποιες προυποθέσεις. 7

8 Η αρχική είσοδος της ταινίας, δεν περιέχει κενά ενδιάµεσα και είναι γραµµένη δεξιότερα του συµβόλου αφήνοντας ένα κενό ενδιάµεσα και άπειρα κενά δεξιότερα της αρχικής εισόδου. Επίσης υποθέτουµε ότι η κεφαλή της ταινίας, τοποθετείται στο κελί το οποίο περιέχει το, ανάµεσα στο αρχικό σύµβολο της ταινίας και στην αρχική είσοδο. και η µηχανή ξεκινά την λειτουργία της από την αρχική της κατάσταση. Εαν M = K, Σ, δ, s, H είναι µία µηχανή T uring και w (Σ {, }), τότε το αρχικό στιγµιότυπο της M µε είσοδο w, είναι (s, w). Με αυτή τη σύµβαση µπορούµε να ξεκινήσουµε να ορίσουµε µε ποιό τρόπο οι µηχανές T uring µπορούν να οριστούν, ώστε να αναγνωρίζουν γλώσσες. Ορισµός 3.1 Εστω µηχανή T uring, M = K, Σ, δ, s, H, έτσι ώστε το H = {q y, q n } περιέχει δύο διακεκριµένες τελικές καταστάσεις (q y, q n για ναι και οχι αντίστοιχα). Οποιοδήποτε τελικό στιγµιότυπο του οποίου η κατάσταση είναι q y, ονοµάζεται κατάσταση αποδοχής, ενώ οποιοδήποτε τελικό στιγµιότυπο του οποίου η κατάσταση είναι q n, ονοµάζεται κατάσταση απόρριψης. Λέµε ότι η µηχανή M αποδέχεται µία είσοδο w (Σ {, }), εαν το (s, w) οδηγεί σε κατάσταση αποδοχής, ενώ λέµε ότι η µηχανή M απορρίπτει µία είσοδο w, εαν το (s, w) οδηγεί σε κατάσταση απόρριψης. Ας είναι Σ 0 Σ {, } ένα αλφάβητο το οποίο ονοµάζουµε αλφάβητο εισόδου της µηχανής M. µε το να πάρουµε το Σ 0 να είναι υποσύνολο του Σ {, }, επιτρέπουµε στην µηχανή µας να χρησιµοποιείσει περισσότερα σύµβολα εκτός αυτών που εµφανιζόταν στις εισόδους της. Λέµε ότι η M αποφασίζει µία γλώσσα L Σ 0, εαν για κάθε λέξη w Σ 0 το ακόλουθο είναι αληθές : Εαν w L, τότε η µηχανή M αποδέχεται την w και εαν w L τότε η µηχανή M την απορρίπτει. Τέλος, ονοµάζουµε µία γλώσσα L, αναδροµική εαν υπάρχει µηχανή T uring που την αποφασίζει. Αυτό σηµαίνει ότι µία µηχανή T uring αποφασίζει µία γλώσσα L, εαν όταν ξεκινήσουµε µε είσοδο w, πάντα σταµατά και ϐρίσκεται σε µία τελική κατάσταση η οποία είναι είναι είτε η q y εαν w L και q n εαν w L. Ας σηµειωθεί ότι δεν µπορούµε να εγγυηθούµε τίποτα, για το τί συµβαίνει εαν η είσοδος στη µηχανή περιέχει κενά ή το αρχικό σύµβολο (αυτός είναι και ο λόγος που τα εξαιρούµε παραπάνω). Υπάρχει ένα λεπτό σηµείο σε σχέση µε τις µηχανές T uring που αποφασίζουν µία γλώσσα. µε τους άλλους αποδέκτες γλωσσών που υπάρχουν (ακόµα και µε τους µη ντετερµινιστικούς), ένα από τα δύο µπορεί να συµβεί : Είτε η µηχανή αποδέχεται την είσοδο ή την απορρίπτει. Μία µηχανή T uring από την άλλη, παρόλο που έχει δύο τελικές καταστάσεις {q y, q n }, πάντα έχει την επιλογή να αποφύγει µία απάντηση ναι ή οχι, αποτυγχάνοντας να τερµατίσει. ηλαδή, δοσµένης µιας µηχανής T uring, µπορεί να µην αποφασίζει µία γλώσσα - και δεν υπάρχει προφανής τρόπος που το κάνει αυτο. Οµως υπάρχει κάποιος λόγος που έχει αυτό το ελάττωµα η µηχανή T uring, κάτι το οποίο δεν είναι στο σκοπό αυτής της εργασίας να αναλύσει. 8

9 3.1 Αναδροµικές Συναρτήσεις Καθώς οι µηχανές T uring µπορούν να γράφουν πάνω στις ταινίες τους, µπορούν να δώσουν µία συνθετότερη έξοδο εκτός από ένα απλό ναι ή οχι. Ορισµός 3.2 Εστω M = K, Σ, δ, s, {h} µία µηχανή T uring, Σ 0 Σ {, } ένα αλφάβητο και w Σ 0. Ας υποθέσουµε ότι η M τερµατίζει µε είσοδο w, και ότι (s, w) M (h, y) για κάποιο y Σ 0. Τότε το y ονοµάζεται έξοδος της M µε είσοδο w, και συµβολίζεται µε M(w). Ας σηµειωθεί ότι η M(w) ορίζεται µόνο εαν η M τερµατίζει µε είσοδο w, και στην πραγµατικότητα το κάνει αυτό σε ένα στιγµιότυπο της µορφής (h, y) για κάποιο y Σ 0. Ας πάρουµε τώρα µία οποιαδήποτε συνάρτηση f : Σ 0 Σ 0. Λέµε ότι η M υπολογίζει την συνάρτηση f, εαν για κάθε w Σ 0 ισχύει M(w) = f(w), το οποίο σηµαίνει ότι για κάθε w Σ 0, η µηχανή M τελικά τερµατίζει µε είσοδο w, και όταν συµβαίνει να τερµατίζει, το περιεχόµενο της ταινία της M, είναι το f(w). Η συνάρτηση f ονοµάζεται αναδροµική, εαν υπάρχει µηχανή T uring που την υπολογίζει. 3.2 Αναδροµικώς Απαριθµήσιµες Γλώσσες Εαν µία µηχανή T uring αποφασίζει µία γλώσσα ή υπολογίζει µία συνάρτηση µπορεί να ληφθεί ότι λειτουργεί ως ένας αλγόριθµος που εκτελεί σωστά και αξιόπιστα µερικούς υπολογισµούς. Θα ορίσουµε ένα τρίτο τρόπο µε τον οποίο µία µηχανή T uring µπορεί να αποφασίσει µία γλώσσα : Ορισµός 3.3 Εστω M = K, Σ, δ, s, H µία µηχανή T uring, Σ 0 Σ {, } ένα αλφάβητο και ας είναι L Σ 0 µία γλώσσα. Λέµε ότι η M ηµιαποφασίζει την γλώσσα L, εαν για κάθε w Σ 0 το ακόλουθο είναι αληθές : w L αν-ν η µηχανή M τερµατίζει µε είσοδο w. Μία γλώσσα L ονοµάζεται αναδροµικώς απαριθµήσιµη αν-ν υπάρχει µία µηχανή T uring M που ηµιαποφασίζει την L. Παραθέτουµε επίσης για την πληρότητα του παραπάνω κειµένου δύο ϐασικά ϑεωρήµατα χωρίς την αντίστοιχη απόδειξή τους καθώς δεν είναι στο σκοπό αυτής της εργασίας. Θεώρηµα 3.1 Εαν µία συνάρτηση είναι αναδροµική, τότε είναι και αναδροµικώς απαριθµήσιµη. Παρατήρηση: Το αντίστροφο δεν ισχύει καθώς υπάρχουν αναδροµικώς απαρι- ϑµήσιµες συναρτήσεις οι οποίες δεν είναι αναδροµικές. Θεώρηµα 3.2 Εαν µία γλώσσα L είναι αναδροµική τότε και το συµπλήρωµά της L είναι αναδροµική. 9

10 4 Επεκτάσεις των Μηχανών Turing Με πολλά παραδείγµατα µηχανών T uring που µπορούµε να δούµε, γίνεται ϕανερή η δύναµη τους, µολονότι είναι αρκετά αργές και άκοµψες στους υπολογισµούς τους. Για να καταλάβουµε καλύτερα την εκπληκτική τους δύναµη, ϑα προσπαθήσουµε να επεκτείνουµε µε διάφορους τρόπους, το µοντέλο των µηχανών T uring που µέχρι τώρα είδαµε. Θα δούµε επίσης ότι σε κάθε περίπτωση τα επιπρόσθετα χαρακτηριστικά δεν προσθέτουν τίποτα στην κλάση των υπολογίσιµων συναρτήσεων ή αποφασίσιµων γλωσσών. Τα νέα ϐελτιωµένα µοντέλα µηχανών T uring µπορούν σε κάθε περίπτωση να αναχθούν στο ϐασικό µοντέλο µηχανής T uring που περιγράψαµε στην αρχή. Αυτά τα αποτελέσµατα µπορούν να µας ϐεβαιώσουν ακόµη περισσότερο ότι οι µηχανές T uring είναι όντως το µεγαλύτερο υπολογιστική συσκευή, το τέλος της προόδου που κάνουµε µε την κατασκευή όλο και πιο δυνατών αυτοµάτων. Η αξία των ϐελτιωµένων αυτών µοντέλων, είναι ότι αναλόγως µε το πρόβληµα, ϑα µπορούµε να επιλέγουµε το µοντέλο που ϑα χρησιµοποιήσουµε, ισοδύναµα σαν να επιλέγαµε να κατασκευάσουµε µία ϐασική µηχανή T uring. 4.1 Μηχανή Turing µε πολλές ταινίες Μπορούµε να σκεφτούµε µία µηχανή T uring η οποία να περιέχει πολλές ταινίες (σχήµα 3) αντί για το ϐασικό µοντέλο µε µία ταινία. Κάθε ταινία είναι συνδεδεµένη µε το σύστηµα εντολών µε την έννοια ότι η κεφαλή (µία σε κάθε ταινία), µπορεί να διαβάσει και να γράψει πάνω στην ταινία. Η νέα µηχανή µπορεί σε ένα ϐήµα, να διαβάσει όλα τα σύµβολα που ϐλέπουν όλες οι κεφαλές και µετά, εξαρτώµενη από τα σύµβολα αυτά και την κατάσταση στην οποία ϐρίσκεταί κάθε κεφαλή, είτε µετακινεί κάποιες κεφαλές δεξιά ή αριστερά είτε σε κάποιες αλλάζει το σύµβολο το οποίο ϐλέπει χωρίς να αλλάξει ϑέση και µεταβαίνει σε καινούρια κατάσταση σε εκείνες τις ταινίες που η κεφαλή µετά από αυτό το τυπικό ϐήµα, µεταβαίνει σε καινούρια κατάσταση. Για δοσµένο λοιπόν ακέραιο k 1, µία µηχανή T uring µε k ταινίες είναι µία µηχανή T uring η οποία είναι εφοδιασ- µένη όπως παραπάνω µε k ταινίες και τις αντίστοιχες κεφαλές. Τότε η ϐασική µηχανή T uring που εµείς εξετάζαµε µέχρι τώρα είναι µία µηχανή T uring µε k ταινίες µε k = 1. Ορισµός 4.1 Εστω k 1 ένας ακέραιος. Μία Μηχανή T uring µε k ταινίες είναι µία 5 άδα K, Σ, δ, s, H, όπου K, Σ, s και Η, είναι τα ίδια όπως στον ορισ- µό της ΒΤΜ και δ : (K H) Σ k K (Σ { 1, 1}) k είναι η συνάρτηση µετάβασης. Αυτό σηµαίνει ότι για κάθε κατάσταση q και για κάθε k άδα συµ- ϐόλων των ταινιών (a 1,..., a k ), δ(q, (a 1,..., a k )) = (p, (b 1,..., b k )), όπου p είναι όπως πριν η καινούρια κατάσταση και b j είναι αντίστοιχα η ενέργεια που κάνει η µηχανή M στην j ταινία ϐλέποντας το σύµβολο a j. Εαν a j = για κάποιο j k, τότε b j = +1. Ο υπολογισµός γίνεται τώρα ταυτόχρονα σε όλες τις k ταινίες της µηχανής M. Ανάλογα ένα στιγµιότυπο µιας τέτοιας µηχανής πρέπει να περιέχει πληροφορίες για όλες τις ταινίες. Ετσι : 10

11 Σχήµα 3: Μηχανή T uring µε k ταινίες Ορισµός 4.2 Εστω M = K, Σ, δ, s, H, µία µηχανή T uring µε k ταινίες. Στιγ- µιότυπο µίας µηχανής M = K, Σ, δ, s, H, είναι ένα στοιχείο του K ( Σ (Σ (Σ { }) {e})) k το οποίο σηµαίνει ότι ένα στιγµιότυπο αναγνωρίζει την κατάσταση, το περιεχόµενο της ταινίας και την ϑέση της κεφαλής σε κάθε µία από τις k ταινίες. Εαν (q, (w 1 a 1 u 1,..., w k a k u k )) είναι ένα στιγµιότυπο µιας µηχανής T uring µε k ταινίες και εαν δ(q, (a 1,..., a k )) = (p, (b 1,..., b k )), τότε σε ένα ϐήµα η µηχανή µετακινείται στο στιγµιότυπο (p, (w 1 a 1 u 1,...,..., w k a k u k )) όπου για i = 1,..., k, τα w i a i u i είναι τα w ia i u i στα οποία έχει εφαρµοστεί η καινούρια ενέργεια της µηχανής b i αντίστοιχα, όπως στον ορισµό 1.3. Λέµε τότε, ότι το στιγµιότυπο (q, (w 1 a 1 u 1,..., w k a k u k )) δίνει σε ένα ϐήµα το στιγµιότυπο (p, (w 1 a 1 u 1,...,..., w k a k u k )) ή ότι το (p, (w 1 a 1 u 1,...,..., w k a k u k )) είναι το αµέσως επόµενο στιγµιότυπο του (q, (w 1 a 1 u 1,..., w k a k u k )). Μία µηχανή T uring µε k ταινίες µπορεί να χρησιµοποιηθεί για τον υπολογισµό µίας υπολογίσιµης συνάρτησης ή για την αποφασισιµότητα ή ηµιαπο- ϕασισιµότητα µίας γλώσσας σε κάθε περίπτωση που έχουµε δει στις ϐασικές µηχανές T uring. εχόµαστε ότι η είσοδος τοποθετείται στην πρώτη ταινία µε τον ίδιο τρόπο όπως σε µία ϐασική µηχανή T uring. Στις υπόλοιπες ταινίες υπάρχουν µόνο και µε την κεφαλή σε όλες τις ταινίες στο αριστερότερο κελί που περιέχει το. Στο τέλος ενός υπολογισµού, η µηχανή T uring µε k ταινίες ϑα έχει τυπώσει την έξοδό της στην πρώτη ταινία και το περιεχόµενο των υπολοίπων ταινιών το αγνοούµε. Παράδειγµα 4.1 Πολλές ϕορές οι πολλαπλές ταινίες διευκολύνουν την κατασκευή µηχανών T uring για τον υπολογισµό κάποιων συναρτήσεων. Για παράδειγµα ας 11

12 πάρουµε την µηχανή T uring που µετατρέπει την είσοδο w σε w w, όπου w {a, b}. Μία µηχανή T uring µε 2 ταινίες ϑα το έκανε αυτό ως εξής : 1 o Βήµα Μετακινεί την κεφαλή και στις δύο ταινίες προς τα δεξιά, αντιγράφοντας κάθε σύµβολο της πρώτης ταινίας στη δεύτερη, µέχρι να ϐρεθεί το πρώτο στην πρώτη ταινία. Το πρώτο κελί της δεύτερης ταινίας πρέπει να είναι το. 2 o Βήµα Μετακινεί την κεφαλή της δεύτερης ταινίας προς τα αριστερά, µέχρι να ϐρεθεί το πρώτο (την κεφαλή της πρώτης ταινίας δεν την µετακινεί). 3 o Βήµα Μετακινεί και πάλι τις κεφαλές και από τις δύο ταινίες προς τα δεξιά, αυτή τη ϕορά αντιγράφοντας τα σύµβολα από την δεύτερη ταινία, στην πρώτη. Σταµατά όταν ϐρεθεί το πρώτο στην δεύτερη ταινία. Οι µηχανές T uring µε περισσότερες από µία ταινίες, µπορούν να αναπαραστα- ϑούν µε τον ίδιο τρόπο όπως οι µηχανές T uring µε µία ταινία που είχαµε δεί σε προηγούµενη παράγραφο. Απλά προσθέτουµε έναν αριθµό σε κάθε σύµβολο που παριστάνει την κάθε µηχανή, που δείχνει σε ποιά ταινία ενεργεί η µηχανή. όλες οι υπόλοιπες ταινίες µένουν ως έχουν. Για παράδειγµα το 2 γράφει ένα κενό στην δεύτερη µηχανή, L 1 ψάχνει µετακινούµενη προς τα αριστερά για κενό στην πρώτη ταινία και R 1,2 µετακινεί προς τα δεξιά τις κεφαλές της πρώτης και της δεύτερης ταινίας ταυτόχρονα. Το a 1 σε ένα ϐέλος δείχνει την ενέργεια που πραγ- µατοποιείται εαν το σύµβολο που σαρώνει η µηχανή εκείνη τη στιγµή στην πρώτη ταινία είναι το a κ.ο.κ. Ας σηµειωθεί ότι όταν έχουµε µηχανή T uring µε k ταινίες, αποφεύγουµε να συµβολίζουµε µε M 2 την ΜΜ όπως είχαµε αναφέρει πριν. Κάνοντας αυτή τη σύµβαση το παραπάνω παράδειγµα σχηµατικά παίρνει τη µορφή που ϕαίνεται στο σχήµα 4 σηµειώνοντας στο κάτω µέρος αυτού τα ϐήµατα 1 έως 3. Σχήµα 4: Παράδειγµα µηχανές Turing µε 2 ταινίες Θεώρηµα 4.1 Εστω M = K, Σ, δ, s, H µία µηχανή T uring µε k ταινίες για κάποιο k 1. Τότε υπάρχει µία ϐασική µηχανή T uring M = K, Σ, δ, s, H όπου Σ Σ, έτσι ώστε το ακόλουθο να ισχύει : Για κάθε είσοδο x Σ, η µηχανή M τερµατίζει µε έξοδο y στην πρώτη ταινία αν-ν η µηχανή M µε είσοδο x τερµατίζει στην ίδια τελική κατάσταση και µε την ίδια έξοδο y στην ταινία της. Επιπλέον εαν η M τερµατίζει µε είσοδο x µετά από t ϐήµατα, τότε η M τερµατίζει µε είσοδο x µετά από αριθµό ϐηµάτων ο οποίος είναι O(t ( x + t)). 12

13 Απόδειξη : Η ταινία της µηχανής M, πρέπει µε κάποιο τρόπο να περιέχει όλες τις πληρο- ϕορίες που περιέχονται σε όλες τις ταινίες της µηχανής M. Ενας απλός τρόπος για να το επιτύχουµε αυτό, είναι να σκεφτούµε ότι η µηχανή M διαιρείται σε λωρίδες µε κάθε µία από αυτές να κάνει, ό,τι κάνει η µηχανή M σε κάθε µία από τις ταινίες της (Σχήµα 4.1). Συγκεκριµένα, εκτός από το αριστερότερο κελί το οποίο περιέχει ως συνήθως το και το άπειρο τµήµα της ταινία που περιέχει κενά, η ταινία της µηχανής M χωρίζεται σε 2k οριζόντιες λωρίδες. Οι πρώτη, τρίτη,...,2k 1-οστή λωρίδες της M αντιστοιχούν στις πρώτη, δεύτερη,...,k οστή λωρίδα της µηχανής M αντίστοιχα, ενώ η δεύτερη, τέταρτη,...,2k οστή λωρίδες της µηχανής M χρησιµοποιούνται για να καταγράφουµε την ϑέση της κεφαλής στις πρώτη, δεύτερη,...,k οστή ταινιές της µηχανής M µε τον ακόλουθο τρόπο : Εαν η κεφαλή στην i οστή ταινία της µηχανής M, τοποθετείται πάνω από το n-οστό κελί της ταινίας, τότε η 2i λωρίδα της µηχανής M περιέχει ένα άσσο στο (n + 1) οστό κελί και µηδενικά σε όλα τα υπόλοιπα κελιά. Για παράδειγµα εαν k = 2 τότε οι ταινίες και οι ϑέσεις των κεφαλών της ταινίας M του σχήµατος 4.1(a), αντιστοιχούν στην ταινία της µηχανής M που ϕαίνεται στο σχήµα 4.1(b). Οπωσδήποτε η διαίρεση της µηχανής M σε λωρίδες είναι λίγο αφηρηµένη κατασκευή. Φορµαλιστικά παίρνουµε αυτό το αποτέλεσµα υποθέτωντας Σ = Σ (Σ {0, 1}) k. Αυτό σηµαίνει ότι το αλφάβητο της M περιέχει το αλφάβητο της M (αυτό επιτρέπει στην µηχανή M να παίρνει την ίδια είσοδο που παίρνει η M και να δίνει την ίδια έξοδο) και επιπλέον όλες τις 2k άδες της µορφής (a 1, b 1,..., a k, b k ) µε a 1,..., a k Σ και b 1,..., b k {0, 1}. Η µετάφραση από αυτών των 2k άδων στις 2k λωρίδες είναι απλή : ιαβάζουµε οποιαδήποτε από αυτές τις 2k άδες σαν να λένε οτι η πρώτη λωρίδα της µηχανής M περιέχει a 1, η δεύτερη b 1 και συνεχίζουµε έτσι µέχρι την 2k λωρίδα που περιέχει το b k. Αυτό µε τη σειρά του, σηµαίνει ότι το αντίστοιχο σύµβολο της i οστής ταινίας της µηχανής M περιέχει a i, και ότι το σύµβολο αυτό σαρώνεται από την i οστή κεφαλή αν-ν b i = 1 (Θυµηθείτε το σχήµα 4.1(b). Οταν δοθεί µία είσοδος w Σ τότε η µηχανή M λειτουργεί ως εξής : 13

14 1. Μετακινούµε την είσοδο κατά ένα κελί προς τα δεξιά. Επειτα επιστρέ- ϕουµε πίσω και αµέσως δεξιά του αρχικού συµβόλου και γράφουµε το σύµβολο (, 0,, 0,...,, 0) (αυτό ϑα παίζει το ϱόλο των αριστερών άκρων των k ταινιών)όπου το 0 και το εµφανίζονται k ϕορές. Μετακινούµαστε ένα κελί προς τα δεξιά και γράφουµε το σύµβολο (, 1,, 1,...,, 1) (µε αυτό τον τρόπο έχουµε µεταφέρει στη µηχανή M την ιδιότητα που έχει η µηχανή M, ότι σε κάθε ταινία αµέσως µετά το σύµβολο, υπάρχει το καθώς επίσης και οτι οι όλες οι κεφαλές ξεκινούν διαβάζοντας το ). Μετακινούµαστε προς τα δεξιά. Σε κάθε κελί εαν συναντήσουµε ένα σύµ- ϐολο a γράφουµε στη ϑέση του το σύµβολο (a, 0,, 0,...,, 0) και µετακινούµαστε δεξιά. Συνεχίζουµε την ίδια διαδικασία σε κάθε κελί το οποίο περιέχει σύµβολο που δεν είναι το. Εαν συναντήσουµε, η πρώτη ϕάση έχει τελειώσει. Τώρα τα περιεχόµενα της µηχανής M περιέχουν ακριβώς το αρχικό στιγµιότυπο της M. 2. Σε αυτό το ϐήµα ϑα αντιγράψουµε την λειτουργία της µηχανής M µέχρι να τερµατίσει (εαν τερµατίζει). Για να αντιγράψουµε ένα ϐήµα της µηχανής M, η µηχανή M ϑα πρέπει να εκτελέσει τα εξής διαδοχικά ϐήµατα [υπο- ϑέτουµε οτι ξεκινά κάθε στάδιο της αντιγραφής µε την κεφαλή να σαρώνει το πρώτο πραγµατικό κενό δηλαδή το πρώτο κελί της ταινίας το οποίο δεν έχει ακόµη υποδιαιρεθεί σε λωρίδες (δηλαδή στο κενό µετά τις εγγραφές)]. (α ) Αρχίζουµε τώρα την σάρωση από το πραγµατικό κενό προς τα αριστερά, συλλέγοντας πληροφορίες για τα σύµβολα που σαρώνονται από τις k κεφαλές της µηχανής M. Μετά από την σάρωση όλων αυτών των συµβόλων (από τους άσσους που υπάρχουν στις αντίστοιχες άρτιες λωρίδες) επιστρέφουµε στο πρώτο πραγµατικό κενό που ϑα συναντήσουµε. Κατά τη διάρκεια αυτού του ϐήµατος, δεν γράφουµε τίποτα στην ταινία της µηχανής M αλλά όταν η κεφαλή έχει επιστρέψει στο δεξί τέλος, οι καταστάσεις έχουν αλλάξει ώστε οι k άδες συµβόλων από το Σ να έχουν µετατραπεί σε k λωρίδες µε τις ϑέσεις των κεφαλών σηµειωµένες αντίστοιχα (µε µηδενικά και άσσους). (ϐ ) Σαρώνουµε τώρα προς τα αριστερά και µετά προς τα δεξιά και ενηµερώνουµε τις λωρίδες ανάλογα µε τις κινήσεις της µηχανής M. Για κάθε Ϲεύγος λωρίδων αυτό περιλαµβάνει είτε µετακίνηση της ϑέσης της κεφαλής, είτε αντικατάσταση κάποιου συµβόλου από το Σ. 3. Οταν τερµατίσει η µηχανή M, τότε στην µηχανή M, πρώτα µετατρέπουµε την ταινία της από λωρίδες, σε τυπική ταινία µηχανής T uring, χρησιµοποιώντας τα περιεχόµενα µόνο της πρώτης λωρίδας αγνοώντας τα περιεχόµενα όλων των άλλων. Μετακινούµε τότε την κεφαλή στη ϑέση της πρώτης κεφαλής της µηχανής M και η µηχανή τερµατίζει στην ίδια κατάσταση που τερµάτισε και η µηχανή M. Για να ϐρούµε την υπολογιστική πολυπλοκότητα αρκεί να παρατηρήσουµε τα εξής : 14

15 a. Στην πρώτη ϕάση έχουµε O( x ) ϐήµατα, όσο και το µήκος της εισόδου της µηχανής M. b. Στην δεύτερη ϕάση έχουµε O(t( x + t)) ϐήµατα διότι Εστω ότι η µηχανή M, µε είσοδο x τερµατίζει µετά από t ϐήµατα. Για κάθε ϐήµα της µηχανής M, η M σαρώνει 2 ϕορές την ταινία. Αρχικά η ταινία της M έχει µήκος x +2. Σε κάθε ϐήµα της µηχανής M, µεγαλώνει το πολύ κατά 1. Συνεπώς µετά από t ϐήµατα της µηχανής M, το µήκος της 2k λώρίδας της µηχανής M, είναι το πολύ x t. Συνολικά λοιπόν κάθε ϐήµα της µηχανής M µπορεί να εξοµειωθεί σε O(t( x + t)) ϐήµατα όπως ϑέλαµε. Πόρισµα 4.1 Κάθε συνάρτηση η οποία είναι υπολογίσιµη ή γλώσσα η οποία είναι αποφασίσιµη ή ηµιαποφασίσιµη από µία µηχανή T uring µε k ταινίες είναι επίσης υπολογίσιµη, αποφασίσιµη ή ηµιαποφασίσιµη αντίστοιχα από µία Βασική Μηχανή T uring. 4.2 Ταινία άπειρη και προς τις δύο κατευθύνσεις Ας υποθέσουµε τώρα ότι η µηχανή µας έχει µία ταινία η οποία είναι άπειρη και προς τις δύο κατευθύνσεις. Ολα τα κελιά είναι αρχικά κενά, εκτός από εκείνα που περιέχουν την είσοδο. Η κεφαλή ας πούµε ότι αρχικά ϐρίσκεται στα αριστερά της εισόδου. Επίσης η σύµβασή µας για το αρχικό σύµβολο, ϑα ήταν αχρείαστη και χωρίς νόηµα για µια τέτοια µηχανή. εν είναι δύσκολο να δείξουµε ότι όπως στις µηχανές T uring µε πολλές ταινίες, οι µηχανές οι οποίες έχουν την αντίστοιχη ταινία τους να είναι άπειρη και προς τις δύο κατευθύνσεις, δεν προσθέτουν κάτι ισχυρότερο στους υπολογισµούς που µπορεί να κάνει µία µηχανή T uring όπως την έχουµε περιγράψει έως τώρα. Μάλιστα µία µηχανή που είναι άπειρη και προς τις δύο κατευθύνσεις, µπορεί πολύ εύκολα να προσοµοιωθεί από µία µηχανή T uring µε 2 ταινίες ως εξής : Η µία ταινία περιέχει το κοµµάτι της ταινίας που ϐρίσκεται δεξιότερα από το κελί που περιέχει το πρώτο σύµβολο της εισόδου, και η άλλη περιέχει το κοµ- µάτι της ταινίας που ϐρίσκεται αριστερότερα και προς τα πίσω. Με τη σειρά της, αυτή η µηχανή T uring µε 2 ταινίες µπορεί να εξοµειωθεί ως µία ϐασική µηχανή T uring. Πιο συγκεκριµένα κάτι τέτοιο ϑα πάρει γραµµικό χρόνο µόνο, αντί για τετραγωνικό, καθώς σε κάθε ϐήµα µόνο µία από τις λωρίδες είναι ενεργή. Είναι περιττό να αναφέρουµε οτι οι µηχανές µε περισσότερες από µία άπειρες ταινίες και από τις δύο πλευρές µπορούν να εξοµοιωθούν και πάλι από µία ϐασική µηχανή T uring. 4.3 Πολλαπλές Κεφαλές Τί γίνεται στην περίπτωση όπου επιτρέπουµε σε µία µηχανή T uring να δουλεύει σε µία ταινία αλλά µε περισσότερες από µία κεφαλές ; Σε ένα ϐήµα, κάθε µία 15

16 κεφαλή ανεξάρτητα, διαβάζει κάποιο σύµβολο και µετακινείται ή γράφει στο εκάστοτε κελί. (Πρέπει σε αυτό το σηµείο να συµφωνήσουµε τί γίνεται στην περίπτωση όπου δύο κεφαλές σαρώνουν στο ίδιο ϐήµα το ίδιο σύµβολο. Ισως µία καλή σύµβαση είναι να νικάει και να επιβάλλει την εντολή της η κεφαλή µε το µεγαλύτερο νούµερο εαν ϑεωρήσουµε εξ αρχής αριθµηµένες τις κεφαλές. Ας ϑεωρήσουµε ότι οι κεφαλές δεν µπορούν να αναγνωρίσουν την παρουσία ή µη, κάποιας άλλης κεφαλής στο κελί στο οποίο ϐρίσκονται, εκτός ϐέβαια αν κάτι τέτοιο γίνει συµπτωµατικά µετά από µη επιτυχείς εγγραφές). εν είναι δύσκολο τότε να δούµε ότι προσοµείωση όπως αυτή που πήραµε για τις µηχανές T uring µε k ταινίες µπορεί να χρησιµοποιηθεί και στην περίπτωση µηχανών T uring µε πολλαπλές κεφαλές και µία ταινία. Η ϐασική ιδέα είναι και πάλι να διαιρέσουµε την ταινία σε λωρίδες, όλες εκτός µίας, απλά ϑα λειτουργούν ανεξάρτητα καταγράφοντας τις ϑέσεις των κεφαλών. Ενα τυπικό ϐήµα για την µηχανή T uring µε πολλές κεφαλές είναι η διπλή σάρωση της ταινίας : Μία για την εύρεση των συµβόλων στις ϑέσεις που ϐρίσκονται οι κεφαλές, και ακόµη µία για να αλλάζει εκείνα τα σύµβολα ή να µετακινεί την κεφαλή όπως ορίζεται. Ο αριθµός των ϐηµάτων που χρειάζονται είναι τετραγωνικός όπως και στο Θεώρηµα 4.1. Η χρήση πολλαπλών κεφαλών όπως επίσης και πολλαπλών ταινιών, µπορεί πολλές ϕορές, πολύ δραστικά να απλοποιήσει την κατασκευή µίας µηχανής T uring. Για παράδειγµα µία µηχανή T uring µε δύο κεφαλές ϑα έκανε το παράδειγµα 2.4 πολύ απλούστερο απ ότι όταν είχαµε στη διάθεσή µας µήχανές T uring µόνο µε µία κεφαλή ιάστατες και Πολυδιάστατες Ταινίες Άλλη µία µορφή γενίκευσης µηχανών T uring, είναι να επιτρέψουµε στην ταινία µας να είναι ένα 2-διάστατο πλέγµα (κάποιος ϑα µπορούσε να επιτρέψει ένα πλέγµα µεγαλύτερης διάστασης). Η µηχανή αυτή εξαρτώµενη από το σύµβολο το οποίο σαρώνει η κεφαλή κάθε στιγµή και την κατάσταση στην οποία ϐρίσκεται η µηχανή µπορεί να γράφει ένα σύµβολο ή να µετακινεί την κεφαλή της ταινίας προς µία κατεύθυνση (άξονα) του πλέγµατος είτε ϑετική είτε αρνητική. Αρχικά ϑεωρούµε ότι η είσοδος ϐρίσκεται στην κατεύθυνση ενός άξονα και η κεφαλή ϐρίσκεται αµέσως αριστερότερα της εισόδου στο κενό που ϑεωρούµε ότι υπάρχει. Αυτή η µορφή µηχανής T uring ϑα µπορούσε να είναι σε µερικές περιπτώσεις πολύ χρησιµότερη από το ϐασικό µοντέλο, για να λύσουµε προβλήµατα σαν τα "zigsaw puzzles" (Κεφάλαιο 5 από το [1]). Σε κάθε ϐήµα, πεπερασµένου πλήθους γραµµές (σε οποιαδήποτε διάσταση) περιέχουν µη µηδενικά σύµβολα. Τότε σχηµατίζουµε το ορθογώνιο γύρω από τα µη µηδενικά σύµβολα και ϕτιάχνουµε µία µηχανή µε περισσότερες ταινίες άπειρες προς όλες τις κατευθύνσεις, που να περιέχουν τις λωρίδες του ορθογωνίου, και τότε έχουµε ανάγει την µηχανή αυτή και πάλι, σε προηγούµενη περίπτωση. Ο αριθµός των ϐηµάτων που χρειάζονται για να εξοµοιώσουµε t ϐήµατα της 2-διάστατης µηχανής T uring µε είσοδο x, µε µία ϐασική µηχανή T uring είναι 16

17 και πάι πολυώνυµο των t και x. Τα παραπάνω αποτελέσµατα και οι επεκτάσεις που κάναµε στις µηχανές T uring µπορούν να συνδιαστούν καθώς κάποιος µπορεί να δεί τις µηχανές T uring µε πολλές ταινίες, εκ των οποίων κάποιες ή όλες είναι άπειρες και προς τις δύο κατευθύνσεις και έχουν περισσότερες κεφαλές ή οτι είναι πολυδιάστατες. Είναι ϕανερή λοιπόν η ισοδυναµία όλων των µηχανών T uring που περιγράψαµε κα- ϑώς όλη η υπολογιστική ισχύς όλων ανάγεται στην ϐασική µηχανή T uring που περιγράψαµε στην αρχή. Συνοψίζουµε λοιπόν τα παραπάνω αποτελέσµατα : Θεώρηµα 4.2 Οποιαδήποτε αποφασίσιµη ή ηµιαποφασίσιµη γλώσσα και κάθε υπολογίσιµη συνάρτηση από µία µηχανή T uring µε πολλές ταινίες,κεφαλές,άπειρες ταινίες και προς τις δύο κατευθύνσεις ή πολυδιάστατες ταινίες, µπορούν να αποφασιστούν, ηµιαποφασιστούν ή να υπολογιστούν αντίστοιχα από µία ϐασική µηχανή T uring. Αναφορές [1] H.R. Lewis - C.H. Papadimitriou, Elements of the theory of computation, Second Edition (1998) p [2] J.E. Hopcroft - J.D. Ullman, Introduction to Automata Theory,Languages, and Computation (1979) p [3] D. Zhu Du - K. I. Ko, Problem Solving in Automata,Languages and Complexity (2001) p [4] Μ.Γ. Λαγουδάκης, Theory of Computation course - TUC, Online Notes, theory (2005) 17

3 Αναδροµή και Επαγωγή

3 Αναδροµή και Επαγωγή 3 Αναδροµή και Επαγωγή Η ιδέα της µαθηµατικής επαγωγής µπορεί να επεκταθεί και σε άλλες δοµές εκτός από το σύνολο των ϕυσικών N. Η ορθότητα της µαθηµατικής επαγωγής ϐασίζεται όπως ϑα δούµε λίγο αργότερα

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα

Θεωρία Υπολογισμού και Πολυπλοκότητα Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 10. Μηχανές Turing 20,23 Μαρτίου 2007 Δρ. Παπαδοπούλου Βίκη 1 Μηχανές Turing: Ένα Γενικό Μοντέλο Υπολογισμού Ποια μοντέλα υπολογισμού μπορούν να δεχθούν γλώσσες

Διαβάστε περισσότερα

Μια TM µπορεί ένα από τα δύο: να αποφασίζει µια γλώσσα L. να αναγνωρίζει (ηµιαποφασίζει) µια γλώσσα L. 1. Η TM «εκτελεί» τον απαριθµητή, E.

Μια TM µπορεί ένα από τα δύο: να αποφασίζει µια γλώσσα L. να αναγνωρίζει (ηµιαποφασίζει) µια γλώσσα L. 1. Η TM «εκτελεί» τον απαριθµητή, E. Οι γλώσσες των Μηχανών Turing Αποφασισιµότητα / Αναγνωρισιµότητα Μια TM µπορεί ένα από τα δύο: να αποφασίζει µια γλώσσα L Αποδέχεται όταν (η είσοδος στην TM) w L. Ορέστης Τελέλης telelis@unipi.gr Τµήµα

Διαβάστε περισσότερα

Περιεχόμενα Ορισμός και λειτουργία των μηχανών Turing Θεωρία Υπολογισμού Ενότητα 20: Μηχανές Turing: Σύνθεση και Υπολογισμοί Επ. Καθ. Π. Κατσαρός Τμήμ

Περιεχόμενα Ορισμός και λειτουργία των μηχανών Turing Θεωρία Υπολογισμού Ενότητα 20: Μηχανές Turing: Σύνθεση και Υπολογισμοί Επ. Καθ. Π. Κατσαρός Τμήμ Θεωρία Υπολογισμού Ενότητα 20: Μηχανές Turing: Σύνθεση και Υπολογισμοί Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,

Διαβάστε περισσότερα

num(m(w 1 ;... ; w k )) = f(num(w 1 ),..., num(w k ))

num(m(w 1 ;... ; w k )) = f(num(w 1 ),..., num(w k )) Υπολογισμοί με Μ.Τ. Εστω M = (K, Σ, δ, s, {y, n}) μια Μ.Τ. Κάθε συνολική κατάσταση τερματισμού της οποίας η κατάσταση τερματισμού είναι το y, θα ονομάζεται συνολική κατάσταση αποδοχής, ενώ αν η κατάσταση

Διαβάστε περισσότερα

Σε αυτό το µάθηµα. Εισαγωγή στις Μηχανές Turing. Μηχανή Turing (Turing Machine - TM) Μηχανές Turing. Παραδείγµατα Μηχανών Turing

Σε αυτό το µάθηµα. Εισαγωγή στις Μηχανές Turing. Μηχανή Turing (Turing Machine - TM) Μηχανές Turing. Παραδείγµατα Μηχανών Turing Σε αυτό το µάθηµα Εισαγωγή στις Μηχανές Turing Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Παραδείγµατα Μηχανών Turing Παραλλαγές: Πολυταινιακές, Μη ντετερµινιστικές

Διαβάστε περισσότερα

Αποφασισιµότητα / Αναγνωρισιµότητα. Μη Επιλύσιµα Προβλήµατα. Η έννοια της αναγωγής. Τερµατίζει µια δεδοµένη TM για δεδοµένη είσοδο;

Αποφασισιµότητα / Αναγνωρισιµότητα. Μη Επιλύσιµα Προβλήµατα. Η έννοια της αναγωγής. Τερµατίζει µια δεδοµένη TM για δεδοµένη είσοδο; Αποφασισιµότητα / Αναγνωρισιµότητα Ορέστης Τελέλης telelis@unipi.gr Μη Επιλύσιµα Προβλήµατα Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς 2/12/2015 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Αποφασισιµότητα 2/12/2015

Διαβάστε περισσότερα

Κωστόπουλος ηµήτριος Μ.Π.Λ.Α. TAPE COMPRESSION (θεώρηµα 2.3 Παπαδηµητρίου)

Κωστόπουλος ηµήτριος Μ.Π.Λ.Α. TAPE COMPRESSION (θεώρηµα 2.3 Παπαδηµητρίου) Κωστόπουλος ηµήτριος Μ.Π.Λ.Α. TAPE COMPRESSION (θεώρηµα 2.3 Παπαδηµητρίου) Εισαγωγή. Αυτό το φυλλάδιο έχει στόχο να δώσει ένα ανάλογο αποτέλεσµα µε αυτό του linear speedup θεωρήµατος, εάν έχουµε µία µηχανή

Διαβάστε περισσότερα

Η NTM αποδέχεται αν µονοπάτι στο δέντρο που οδηγεί σε αποδοχή.

Η NTM αποδέχεται αν µονοπάτι στο δέντρο που οδηγεί σε αποδοχή. Μη ντετερµινιστικές Μηχανές Turing - NTMs (1/6) Μηχανές Turing: Μη ντετερµινισµός, Επιλύσιµα Προβλήµατα Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς 10 εκεµβρίου 2016

Διαβάστε περισσότερα

CSC 314: Switching Theory. Chapter 3: Turing Machines

CSC 314: Switching Theory. Chapter 3: Turing Machines CSC 314: Switching Theory Chapter 3: Turing Machines 21 November 2008 1 Dr. Vicky Papadopoulou 1 Μηχανές Turing: Ένα Γενικό Μοντέλο Υπολογισμού Ποια μοντέλα υπολογισμού μπορούν να δεχθούν γλώσσες της μορφής

Διαβάστε περισσότερα

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων 771 Η - Θεωρία Υπολογισµών και Αλγορίθµων Σηµειώσεις Μέρος 4 ο ιδάσκων: Α. Ντελόπουλος Το παρόν αποτελεί σηµειώσεις που αντιστοιχούν σε µέρος των διαλέξεων για το µάθηµα 771 Η - Θεωρία Υπολογισµών και

Διαβάστε περισσότερα

2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008

2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008 2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008 Μικρό Θεώρηµα του Fermat, η συνάρτηση του Euler και Μαθηµατικοί ιαγωνισµοί Αλέξανδρος Γ. Συγκελάκης ags@math.uoc.gr Αύγουστος 2008 Αλεξανδρος Γ. Συγκελακης

Διαβάστε περισσότερα

ΠΛΗ30 ΕΝΟΤΗΤΑ 3: ΚΑΝΟΝΙΚΕΣ ΓΛΩΣΣΕΣ. Μάθηµα 3.2: ηµήτρης Ψούνης

ΠΛΗ30 ΕΝΟΤΗΤΑ 3: ΚΑΝΟΝΙΚΕΣ ΓΛΩΣΣΕΣ. Μάθηµα 3.2: ηµήτρης Ψούνης ΠΛΗ30 ΕΝΟΤΗΤΑ 3: ΚΑΝΟΝΙΚΕΣ ΓΛΩΣΣΕΣ Μάθηµα 3.2: Ντετερµινιστικά Πεπερασµένα Αυτόµατα ηµήτρης Ψούνης 2 ΠΕΡΙΕΧΟΜΕΝΑ Α. Σκοπός του Μαθήµατος Β. Θεωρία 1. Πεπερασµένα Αυτόµατα 1. Λειτουργία και Παραδείγµατα

Διαβάστε περισσότερα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 12: Μηχανές Turing

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 12: Μηχανές Turing ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 12: Μηχανές Turing Τι θα κάνουμε σήμερα Εισαγωγή στις Μηχανές Turing (TM) Τυπικός Ορισμός Μηχανής Turing (3.1.1) 1 Τι είδαμε μέχρι στιγμής Πεπερασμένα

Διαβάστε περισσότερα

Επαναληπτικές δοµές. µτ α.τ. Όχι. ! απαγορεύεται µέσα σε µία ΓΙΑ να µεταβάλλουµε τον µετρητή! διότι δεν θα ξέρουµε µετά πόσες επαναλήψεις θα γίνουν

Επαναληπτικές δοµές. µτ α.τ. Όχι. ! απαγορεύεται µέσα σε µία ΓΙΑ να µεταβάλλουµε τον µετρητή! διότι δεν θα ξέρουµε µετά πόσες επαναλήψεις θα γίνουν Επαναληπτικές δοµές Η λογική των επαναληπτικών διαδικασιών εφαρµόζεται όπου µία ακολουθία εντολών εφαρµόζεται σε ένα σύνολο περιπτώσεων που έχουν κάτι κοινό. Όταν ψάχνουµε θέση για να παρκάρουµε κοντά

Διαβάστε περισσότερα

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» (ε) Κάθε συγκλίνουσα ακολουθία άρρητων αριθµών συγκλίνει σε άρρητο αριθµό.

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» (ε) Κάθε συγκλίνουσα ακολουθία άρρητων αριθµών συγκλίνει σε άρρητο αριθµό. Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» Κεφάλαιο : Ακολουθίες πραγµατικών αριθµών Α Οµάδα Εξετάστε αν οι παρακάτω προτάσεις είναι αληθείς ή ψευδείς αιτιολογήστε πλήρως την απάντησή σας α Κάθε

Διαβάστε περισσότερα

Γενικές Παρατηρήσεις. Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα (1) Το Λήµµα της Αντλησης. Χρήση του Λήµµατος Αντλησης.

Γενικές Παρατηρήσεις. Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα (1) Το Λήµµα της Αντλησης. Χρήση του Λήµµατος Αντλησης. Γενικές Παρατηρήσεις Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα () Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Υπάρχουν µη κανονικές γλώσσες, π.χ., B = { n n n }. Αυτό

Διαβάστε περισσότερα

1 Ορισµός ακολουθίας πραγµατικών αριθµών

1 Ορισµός ακολουθίας πραγµατικών αριθµών ΜΑΣ 02. Απειροστικός Λογισµός Ι Ορισµός ακολουθίας πραγµατικών αριθµών Ορισµός.. Ονοµάζουµε ακολουθία πραγµατικών αριθµών κάθε απεικόνιση του συνόλου N των ϕυσικών αριθµών, στο σύνολο R των πραγµατικών

Διαβάστε περισσότερα

Κεφάλαιο 3β. Ελεύθερα Πρότυπα (µέρος β)

Κεφάλαιο 3β. Ελεύθερα Πρότυπα (µέρος β) Κεφάλαιο 3β Ελεύθερα Πρότυπα (µέρος β) Ο σκοπός µας εδώ είναι να αποδείξουµε το εξής σηµαντικό αποτέλεσµα. 3.3.6 Θεώρηµα Έστω R µια περιοχή κυρίων ιδεωδών, F ένα ελεύθερο R-πρότυπο τάξης s < και N F. Τότε

Διαβάστε περισσότερα

ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ ΕΞΙΣΩΣΕΩΝ

ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ ΕΞΙΣΩΣΕΩΝ ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ ΕΞΙΣΩΣΕΩΝ Θα ξεκινήσουµε την παρουσίαση των γραµµικών συστηµάτων µε ένα απλό παράδειγµα από τη Γεωµετρία, το οποίο ϑα µας ϐοηθήσει στην κατανόηση των συστηµάτων αυτών και των συνθηκών

Διαβάστε περισσότερα

Σύνοψη Προηγούµενου. Κανονικές Γλώσσες (1) Προβλήµατα και Γλώσσες. Σε αυτό το µάθηµα. ιαδικαστικά του Μαθήµατος.

Σύνοψη Προηγούµενου. Κανονικές Γλώσσες (1) Προβλήµατα και Γλώσσες. Σε αυτό το µάθηµα. ιαδικαστικά του Μαθήµατος. Σύνοψη Προηγούµενου Κανονικές Γλώσσες () ιαδικαστικά του Μαθήµατος. Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Εισαγωγή: Υπολογισιµότητα και Πολυπλοκότητα. Βασικές

Διαβάστε περισσότερα

Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών

Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών Τίτλος Μαθήματος: Γραμμική Άλγεβρα Ι Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης Τμήμα: Μαθηματικών Κεφάλαιο 1 Εισαγωγη : Πραξεις επι Συνολων και Σωµατα Αριθµων

Διαβάστε περισσότερα

Φροντιστήριο 8 Λύσεις

Φροντιστήριο 8 Λύσεις Άσκηση 1 Θεωρήστε την πιο κάτω Μηχανή Turing. Φροντιστήριο 8 Λύσεις Σε κάθε σκέλος, να προσδιορίσετε την ακολουθία των φάσεων τις οποίες διατρέχει η μηχανή όταν δέχεται τη διδόμενη λέξη. (α) 11 (β) 1#1

Διαβάστε περισσότερα

Αρµονική Ανάλυση. Ενότητα: Μέτρο Lebesgue. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Αρµονική Ανάλυση. Ενότητα: Μέτρο Lebesgue. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών Ενότητα: Μέτρο Lebesgue Απόστολος Γιαννόπουλος Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commos. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται

Διαβάστε περισσότερα

a 1d L(A) = {m 1 a m d a d : m i Z} a 11 a A = M B, B = N A, k=1

a 1d L(A) = {m 1 a m d a d : m i Z} a 11 a A = M B, B = N A, k=1 Α44 ΚΡΥΠΤΟΓΡΑΦΙΑ ΣΗΜΕΙΩΣΕΙΣ #12 ΘΕΟ ΟΥΛΟΣ ΓΑΡΕΦΑΛΑΚΗΣ 1 Πλεγµατα Εστω ο διανυσµατικός χώρος R d διάστασης d Ο χώρος R d έρχεται µε ένα εσωτερικό γινόµενο x, y = d i=1 x iy i και τη σχετική νόρµα x = x,

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ

ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 8: Ιδιότητες Γραμματικών χωρίς Συμφραζόμενα Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

Διαβάστε περισσότερα

Αλγόριθμοι για αυτόματα

Αλγόριθμοι για αυτόματα Κεφάλαιο 8 Αλγόριθμοι για αυτόματα Κύρια βιβλιογραφική αναφορά για αυτό το Κεφάλαιο είναι η Hopcroft, Motwani, and Ullman 2007. 8.1 Πότε ένα DFA αναγνωρίζει κενή ή άπειρη γλώσσα Δοθέντος ενός DFA M καλούμαστε

Διαβάστε περισσότερα

ΣΤΟΙΧΕΙΑ ΘΕΜΕΛΙΩΣΕΩΝ ΥΠΟΛΟΓΙΣΤΙΚΩΝ ΜΗΧΑΝΩΝ ΓΙΑ ΤΟ ΓΥΜΝΑΣΙΟ ΚΑΙ ΤΟ ΛΥΚΕΙΟ

ΣΤΟΙΧΕΙΑ ΘΕΜΕΛΙΩΣΕΩΝ ΥΠΟΛΟΓΙΣΤΙΚΩΝ ΜΗΧΑΝΩΝ ΓΙΑ ΤΟ ΓΥΜΝΑΣΙΟ ΚΑΙ ΤΟ ΛΥΚΕΙΟ ΜΕΡΟΣ ΤΡΙΤΟ Ένταξη των Τ.Π.Ε. στην διδασκαλία και τη µάθηση I) ΣΤΟΙΧΕΙΑ ΘΕΜΕΛΙΩΣΕΩΝ ΥΠΟΛΟΓΙΣΤΙΚΩΝ ΜΗΧΑΝΩΝ ΓΙΑ ΤΟ ΓΥΜΝΑΣΙΟ ΚΑΙ ΤΟ ΛΥΚΕΙΟ Παύλος Γ. Σπυράκης (google: Paul Spirakis) Ερευνητικό Ακαδηµαϊκό

Διαβάστε περισσότερα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 13: Παραλλαγές Μηχανών Turing και Περιγραφή Αλγορίθμων

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 13: Παραλλαγές Μηχανών Turing και Περιγραφή Αλγορίθμων ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 13: Παραλλαγές Μηχανών Turing και Περιγραφή Αλγορίθμων Τι θα κάνουμε σήμερα Εισαγωγή Πολυταινιακές Μηχανές Turing (3.2.1) Μη Ντετερμινιστικές Μηχανές

Διαβάστε περισσότερα

5.1 Ιδιοτιµές και Ιδιοδιανύσµατα

5.1 Ιδιοτιµές και Ιδιοδιανύσµατα Κεφάλαιο 5 Ιδιοτιµές και Ιδιοδιανύσµατα 5 Ιδιοτιµές και Ιδιοδιανύσµατα Αν ο A είναι ένας n n πίνακας και το x είναι ένα διάνυσµα στον R n, τότε το Ax είναι και αυτό ένα διάνυσµα στον R n Συνήθως δεν υπάρχει

Διαβάστε περισσότερα

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ Θεωρία Υπολογισμού Ενότητα 8: Πεπερασμένα Αυτόματα Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται

Διαβάστε περισσότερα

11 Το ολοκλήρωµα Riemann

11 Το ολοκλήρωµα Riemann Το ολοκλήρωµα Riem Το πρόβληµα υπολογισµού του εµβαδού οποιασδήποτε επιφάνειας ( όπως κυκλικοί τοµείς, δακτύλιοι και δίσκοι, ελλειπτικοί δίσκοι, παραβολικά και υπερβολικά χωρία κτλ) είναι γνωστό από την

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές

Θεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές Θεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Ανεπίλυτα Προβλήματα από τη Θεωρία Γλωσσών (5.1) To Πρόβλημα της Περάτωσης Το Πρόβλημα της Κενότητα

Διαβάστε περισσότερα

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ Θεωρία Υπολογισμού Ενότητα 21: Υπολογισμοί ΜΤ - Αναδρομικές Γλώσσες Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως

Διαβάστε περισσότερα

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 4 1 2

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 4 1 2 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 4 1 2 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html Πέµπτη 27 εκεµβρίου 2012 Ασκηση

Διαβάστε περισσότερα

KΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,...

KΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,... KΕΦΑΛΑΙΟ ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ Βασικές έννοιες διαιρετότητας Θα συµβολίζουµε µε, τα σύνολα των φυσικών αριθµών και των ακεραίων αντιστοίχως: {,,3,,, } { 0,,,,, } = = ± ± ± Ορισµός Ένας φυσικός αριθµός

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά. Παράδειγµα. Από τα συµπεράσµατα στις υποθέσεις Αποδείξεις - Θεωρία συνόλων. Από τις υποθέσεις στα συµπεράσµατα...

HY118- ιακριτά Μαθηµατικά. Παράδειγµα. Από τα συµπεράσµατα στις υποθέσεις Αποδείξεις - Θεωρία συνόλων. Από τις υποθέσεις στα συµπεράσµατα... HY118- ιακριτά Μαθηµατικά Παρασκευή, 11/03/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/15/2016

Διαβάστε περισσότερα

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ Θεωρία Υπολογισμού Ενότητα 24: Μη Ντεντερμινιστικές Μηχανές Turing Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως

Διαβάστε περισσότερα

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές»

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» Κεφάλαιο : Το σύνολο των πραγµατικών αριθµών Α Οµάδα Εξετάστε αν οι παρακάτω προτάσεις είναι αληθείς ή ψευδείς αιτιολογήστε πλήρως την απάντησή σας) α)

Διαβάστε περισσότερα

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html Τετάρτη 17 Οκτωβρίου 2012 Ασκηση 1.

Διαβάστε περισσότερα

Φροντιστήριο 8 Λύσεις

Φροντιστήριο 8 Λύσεις Άσκηση 1 Φροντιστήριο 8 Λύσεις Θεωρήστε την πιο κάτω Μηχανή Turing όπου όλες οι μεταβάσεις που απουσιάζουν οδηγούν στην κατάσταση απόρριψης (q απόρριψης). Σε κάθε σκέλος, να προσδιορίσετε την ακολουθία

Διαβάστε περισσότερα

Σειρά Προβλημάτων 4 Λύσεις

Σειρά Προβλημάτων 4 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { ww w {a,b}* }. (β) Να διατυπώσετε την τυπική περιγραφή

Διαβάστε περισσότερα

Σηµειώσεις στις συναρτήσεις

Σηµειώσεις στις συναρτήσεις Σηµειώσεις στις συναρτήσεις 4 Η έννοια της συνάρτησης Ο όρος «συνάρτηση» χρησιµοποιείται αρκετά συχνά για να δηλώσει ότι ένα µέγεθος, µια κατάσταση κτλ εξαρτάται από κάτι άλλο Και στα µαθηµατικά ο όρος

Διαβάστε περισσότερα

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές Κεφάλαιο Παραγοντοποίηση σε Ακέραιες Περιοχές Γνωρίζουµε ότι στο Ÿ κάθε στοιχείο εκτός από το 0 και τα ± γράφεται ως γινόµενο πρώτων αριθµών κατά τρόπο ουσιαστικά µοναδικό Από τη Βασική Άλγεβρα ξέρουµε

Διαβάστε περισσότερα

τη µέθοδο της µαθηµατικής επαγωγής για να αποδείξουµε τη Ϲητούµενη ισότητα.

τη µέθοδο της µαθηµατικής επαγωγής για να αποδείξουµε τη Ϲητούµενη ισότητα. Αριστοτελειο Πανεπιστηµιο Θεσσαλονικης Τµηµα Μαθηµατικων Εισαγωγή στην Αλγεβρα Τελική Εξέταση 15 Φεβρουαρίου 2017 1. (Οµάδα Α) Εστω η ακολουθία Fibonacci F 1 = 1, F 2 = 1 και F n = F n 1 + F n 2, για n

Διαβάστε περισσότερα

Γενική Ισορροπία- Υπαρξη και µοναδικότητα. Υπαρξη ϐαλρασιανής ισορροπίας. Notes. Notes. Notes. Notes. Κώστας Ρουµανιάς.

Γενική Ισορροπία- Υπαρξη και µοναδικότητα. Υπαρξη ϐαλρασιανής ισορροπίας. Notes. Notes. Notes. Notes. Κώστας Ρουµανιάς. Γενική Ισορροπία- Υπαρξη και µοναδικότητα Κώστας Ρουµανιάς Ο.Π.Α. Τµήµα. Ε. Ο. Σ. 19 Απριλίου 2013 Κώστας Ρουµανιάς (.Ε.Ο.Σ.) Γενική Ισορροπία- Υπαρξη και µοναδικότητα 19 Απριλίου 2013 1 / 44 ύο Ϲητήµατα

Διαβάστε περισσότερα

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΚΡΥΠΤΟΛΟΓΙΑ ΣΗΜΕΙΩΣΕΙΣ #6 ΘΕΟ ΟΥΛΟΣ ΓΑΡΕΦΑΛΑΚΗΣ

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΚΡΥΠΤΟΛΟΓΙΑ ΣΗΜΕΙΩΣΕΙΣ #6 ΘΕΟ ΟΥΛΟΣ ΓΑΡΕΦΑΛΑΚΗΣ ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΚΡΥΠΤΟΛΟΓΙΑ ΣΗΜΕΙΩΣΕΙΣ #6 ΘΕΟ ΟΥΛΟΣ ΓΑΡΕΦΑΛΑΚΗΣ 1. Το προβληµα του διακριτου λογαριθµου Στο µάθηµα αυτό ϑα δούµε κάποιους αλγόριθµους για υπολογισµό διακριτών λογάριθµων. Θυµίζουµε ότι στο

Διαβάστε περισσότερα

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 2

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 2 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Ασκησεις - Φυλλαδιο 2 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2016/asi2016.html Πέµπτη 3 Μαρτίου 2016 Αν (G, ) είναι

Διαβάστε περισσότερα

Κεφάλαιο 1. Εισαγωγικές Εννοιες. 1.1 Σύνολα

Κεφάλαιο 1. Εισαγωγικές Εννοιες. 1.1 Σύνολα Κεφάλαιο 1 Εισαγωγικές Εννοιες Σ αυτό το κεφάλαιο ϑα αναφερθούµε συνοπτικά σε ϐασικές έννοιες για σύνολα και απεικονίσεις. Επιπλέον, ϑα αναφερθούµε στη µέθοδο της επαγωγής, η οποία αποτελεί µία από τις

Διαβάστε περισσότερα

Σειρά Προβλημάτων 4 Λύσεις

Σειρά Προβλημάτων 4 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing που να διαγιγνώσκει την ακόλουθη γλώσσα. { a n b n+2 c n 2 n 2 } Λύση: H ζητούμενη μηχανή Turing μπορεί να

Διαβάστε περισσότερα

Θεώρηµα: Z ( Απόδειξη: Περ. #1: Περ. #2: *1, *2: αποδεικνύονται εύκολα, διερευνώντας τις περιπτώσεις ο k να είναι άρτιος ή περιττός

Θεώρηµα: Z ( Απόδειξη: Περ. #1: Περ. #2: *1, *2: αποδεικνύονται εύκολα, διερευνώντας τις περιπτώσεις ο k να είναι άρτιος ή περιττός HY118- ιακριτά Μαθηµατικά Την προηγούµενη φορά Τρόποι απόδειξης Τρίτη, 07/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter,

Διαβάστε περισσότερα

Ορισµός. Εστω συναρτήσεις: f : N R και g : N R. η f(n) είναι fi( g(n) ) αν υπάρχουν σταθερές C 1, C 2 και n 0, τέτοιες ώστε:

Ορισµός. Εστω συναρτήσεις: f : N R και g : N R. η f(n) είναι fi( g(n) ) αν υπάρχουν σταθερές C 1, C 2 και n 0, τέτοιες ώστε: Συµβολισµός Ω( ) Τάξη των Συναρτήσεων () Εκτίµηση Πολυπλοκότητας Αλγορίθµων Ορέστης Τελέλης telelis@unipi.gr Ορισµός. Εστω συναρτήσεις: f : N R και g : N R η f(n) είναι Ω( g(n) ) αν υπάρχουν σταθερές C

Διαβάστε περισσότερα

Μάθηµα Θεωρίας Αριθµών Ε.Μ.Ε

Μάθηµα Θεωρίας Αριθµών Ε.Μ.Ε Μάθηµα Θεωρίας Αριθµών Ε.Μ.Ε 1. Να αποδειχθεί ότι κάθε ϑετικός ακέραιος αριθµός n 6, µπορεί να γραφεί στη µορφή όπου οι a, b, c είναι ϑετικοί ακέραιοι. n = a + b c,. Να αποδειχθεί ότι για κάθε ακέραιο

Διαβάστε περισσότερα

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδες Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2014/asi2014.html, https://sites.google.com/site/maths4edu/home/algdom114

Διαβάστε περισσότερα

Αλγεβρα. Ενότητα: Πολυώνυµα πολλών µεταβλητών - ο αλγόριθµος της διαίρεσης. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών

Αλγεβρα. Ενότητα: Πολυώνυµα πολλών µεταβλητών - ο αλγόριθµος της διαίρεσης. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών Ενότητα: Πολυώνυµα πολλών µεταβλητών - ο αλγόριθµος της διαίρεσης Ευάγγελος Ράπτης Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

Διαβάστε περισσότερα

Αλγόριθµοι για την παραγοντοποίηση ακεραίων αριθµών

Αλγόριθµοι για την παραγοντοποίηση ακεραίων αριθµών Αλγόριθµοι για την παραγοντοποίηση ακεραίων αριθµών Αλέξανδρος Γ. Συγκελάκης 3 Απριλίου 2006 Μέθοδος Συνεχών Κλασµάτων. Θεωρητικό Υπόβαθρο Συνεχών Κλασµάτων Περίληψη Στο κοµµάτι αυτό ϑα περιγράψουµε µία

Διαβάστε περισσότερα

Γραµµική Αλγεβρα Ι. Ενότητα: Εισαγωγικές Εννοιες. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών

Γραµµική Αλγεβρα Ι. Ενότητα: Εισαγωγικές Εννοιες. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών Ενότητα: Εισαγωγικές Εννοιες Ευάγγελος Ράπτης Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (1)

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (1) Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες () Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Πεπερασμένα Αυτόματα (Κεφάλαιο., Sipser) Ορισμός πεπερασμένων αυτομάτων και ορισμός του

Διαβάστε περισσότερα

Ποιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών ; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί);

Ποιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών ; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί); Μοντελοποίηση του Υπολογισµού Στοιχεία Θεωρίας Υπολογισµού (): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ποιές οι θεµελιώδεις δυνατότητες

Διαβάστε περισσότερα

Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές

Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 1 /

Διαβάστε περισσότερα

( ) = inf { (, Ρ) : Ρ διαµέριση του [, ]}

( ) = inf { (, Ρ) : Ρ διαµέριση του [, ]} 7 ΙΙΙ Ολοκληρωτικός Λογισµός πολλών µεταβλητών Βασικές έννοιες στη µια µεταβλητή Έστω f :[ ] φραγµένη συνάρτηση ( Ρ = { t = < < t = } είναι διαµέριση του [ ] 0 ( Ρ ) = Μ ( ) όπου sup f ( t) : t [ t t]

Διαβάστε περισσότερα

Kεφάλαιο 10. Πόσα υποπαίγνια υπάρχουν εδώ πέρα; 2 υποπαίγνια.

Kεφάλαιο 10. Πόσα υποπαίγνια υπάρχουν εδώ πέρα; 2 υποπαίγνια. Kεφάλαιο 10 Θα δούµε ένα δύο παραδείγµατα να ορίσουµε/ µετρήσουµε τα υποπαίγνια και µετά θα λύσουµε και να βρούµε αυτό που λέγεται τέλεια κατά Nash ισορροπία. Εδώ θα δούµε ένα παίγνιο όπου έχουµε µια επιχείρηση

Διαβάστε περισσότερα

1 Οι πραγµατικοί αριθµοί

1 Οι πραγµατικοί αριθµοί 1 Οι πραγµατικοί αριθµοί 1.1 Σύνολα αριθµών Το σύνολο των ϕυσικών αριθµών N = {1, 2, 3,...} Το σύνολο των ακεραίων Z = {... 3, 2, 1, 0, 1, 2, 3,...}. Οι ακέραιοι διαµερίζονται σε άρτιους και περιττούς

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Τρίτη, 07/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/7/2017

Διαβάστε περισσότερα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 16: Αναγωγές

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 16: Αναγωγές ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 16: Αναγωγές Τι θα κάνουμε σήμερα Το Πρόβλημα του Τερματισμού (4.2) Εισαγωγή στις Αναγωγές Ανεπίλυτα Προβλήματα από την Θεωρία των Γλωσσών (5.1) Απεικονιστικές

Διαβάστε περισσότερα

HEAD INPUT. q0 q1 CONTROL UNIT

HEAD INPUT. q0 q1 CONTROL UNIT Πεπερασμένα Αυτόματα (ΠΑ) Τα πεπερασμένα αυτόματα είναι οι απλούστερες «υπολογιστικές μηχανές». Δεν έχουν μνήμη, μόνο μία εσωτερική μονάδα με πεπερασμένο αριθμό καταστάσεων. Διαβάζουν τη συμβολοσειρά εισόδου

Διαβάστε περισσότερα

3.1 εκαδικό και υαδικό

3.1 εκαδικό και υαδικό Εισαγωγή στην επιστήµη των υπολογιστών Υπολογιστές και εδοµένα Κεφάλαιο 3ο Αναπαράσταση Αριθµών 1 3.1 εκαδικό και υαδικό εκαδικό σύστηµα 2 1 εκαδικό και υαδικό υαδικό Σύστηµα 3 3.2 Μετατροπή Για τη µετατροπή

Διαβάστε περισσότερα

CSC 314: Switching Theory. Chapter 3: Turing Machines

CSC 314: Switching Theory. Chapter 3: Turing Machines CSC 314: Switching Theory Chapter 3: Turing Machines 28 November 2008 1 1 Υπολογισμοί σε Μηχανές Turing Πως χρησιμοποιούμε μια μηχανή Turing? Για την αναγνώριση μιας γλώσσας? Σύμβαση για την αναγνώριση

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2014/nt2014.html https://sites.google.com/site/maths4edu/home/14

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων Μελετάµε εδώ τη συνθήκη της αύξουσας αλυσίδας υποπροτύπων και τη συνθήκη της φθίνουσας αλυσίδας υποπροτύπων. Αυτές συνδέονται µεταξύ τους µε την έννοια της συνθετικής σειράς

Διαβάστε περισσότερα

Παράρτηµα Α. Στοιχεία θεωρίας µέτρου και ολοκλήρωσης.

Παράρτηµα Α. Στοιχεία θεωρίας µέτρου και ολοκλήρωσης. Παράρτηµα Α Στοιχεία θεωρίας µέτρου και ολοκλήρωσης Α Χώροι µέτρου Πέραν της «διαισθητικής» περιγραφής του µέτρου «σχετικά απλών» συνόλων στο από το µήκος τους (όπως πχ είναι τα διαστήµατα, ενώσεις/τοµές

Διαβάστε περισσότερα

Αρµονική Ανάλυση. Ενότητα: Το ϑεώρηµα παρεµβολής του Riesz και η ανισότητα Hausdorff-Young. Απόστολος Γιαννόπουλος.

Αρµονική Ανάλυση. Ενότητα: Το ϑεώρηµα παρεµβολής του Riesz και η ανισότητα Hausdorff-Young. Απόστολος Γιαννόπουλος. Ενότητα: Το ϑεώρηµα παρεµβολής του Riesz και η ανισότητα Hausdorff-Young Απόστολος Γιαννόπουλος Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2)

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2) Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Αυτόματα Στοίβας (2.2) Τυπικός Ορισμός Παραδείγματα Ισοδυναμία με Ασυμφραστικές

Διαβάστε περισσότερα

Εισαγωγή στην Τοπολογία

Εισαγωγή στην Τοπολογία Ενότητα: Τοπικές έννοιες Γεώργιος Κουµουλλής Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται

Διαβάστε περισσότερα

Γραµµική Αλγεβρα Ι. Ενότητα: ιανυσµατικοί χώροι. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών

Γραµµική Αλγεβρα Ι. Ενότητα: ιανυσµατικοί χώροι. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών Ενότητα: ιανυσµατικοί χώροι Ευάγγελος Ράπτης Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 2: Ηµιαπλοί ακτύλιοι

ΚΕΦΑΛΑΙΟ 2: Ηµιαπλοί ακτύλιοι ΚΕΦΑΛΑΙΟ 2: Ηµιαπλοί ακτύλιοι Είδαµε στο κύριο θεώρηµα του προηγούµενου κεφαλαίου ότι κάθε δακτύλιος διαίρεσης έχει την ιδιότητα κάθε πρότυπο είναι ευθύ άθροισµα απλών προτύπων. Εδώ θα χαρακτηρίσουµε όλους

Διαβάστε περισσότερα

Οι πραγµατικοί αριθµοί

Οι πραγµατικοί αριθµοί Οι πραγµατικοί αριθµοί Προλεγόµενα Η ανάγκη απαρίθµησης αντικειµένων, οδήγησε στην εισαγωγή του συνόλου των φυσικών αριθµών Η ανάγκη µέτρησης µεγεθών, οδήγησε στην εισαγωγή του συνόλου των ρητών αριθµών

Διαβάστε περισσότερα

Θεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος

Θεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος Περιγραφή μαθήματος Θεωρία Υπολογισμού Άρτιοι ΑΜ Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας (Θεωρία Αλγορίθμων). Διδάσκων: Σταύρος Κολλιόπουλος

Διαβάστε περισσότερα

Θεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr

Θεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr Θεωρία Υπολογισμού Άρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr Περιγραφή μαθήματος Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας

Διαβάστε περισσότερα

ΙΙ ιαφορικός Λογισµός πολλών µεταβλητών. ιαφόριση συναρτήσεων πολλών µεταβλητών

ΙΙ ιαφορικός Λογισµός πολλών µεταβλητών. ιαφόριση συναρτήσεων πολλών µεταβλητών 54 ΙΙ ιαφορικός Λογισµός πολλών µεταβλητών ιαφόριση συναρτήσεων πολλών µεταβλητών Ένας στέρεος ορισµός της παραγώγισης για συναρτήσεις πολλών µεταβλητών ανάλογος µε τον ορισµό για συναρτήσεις µιας µεταβλητής

Διαβάστε περισσότερα

Η δυαδική σχέση M ( «παράγει σε ένα βήμα» ) ορίζεται ως εξής: (q, w) M (q, w ), αν και μόνο αν w = σw, για κάποιο σ Σ

Η δυαδική σχέση M ( «παράγει σε ένα βήμα» ) ορίζεται ως εξής: (q, w) M (q, w ), αν και μόνο αν w = σw, για κάποιο σ Σ Πεπερασμένα Αυτόματα (ΠΑ) Τα πεπερασμένα αυτόματα είναι οι απλούστερες «υπολογιστικές μηχανές». Δεν έχουν μνήμη, μόνο μία εσωτερική μονάδα με πεπερασμένο αριθμό καταστάσεων. Διαβάζουν τη συμβολοσειρά εισόδου

Διαβάστε περισσότερα

Εισαγωγή στην επιστήµη των υπολογιστών. Υπολογιστές και Δεδοµένα Κεφάλαιο 3ο Αναπαράσταση Αριθµών

Εισαγωγή στην επιστήµη των υπολογιστών. Υπολογιστές και Δεδοµένα Κεφάλαιο 3ο Αναπαράσταση Αριθµών Εισαγωγή στην επιστήµη των υπολογιστών Υπολογιστές και Δεδοµένα Κεφάλαιο 3ο Αναπαράσταση Αριθµών 1 Δεκαδικό και Δυαδικό Σύστηµα Δύο κυρίαρχα συστήµατα στο χώρο των υπολογιστών Δεκαδικό: Η βάση του συστήµατος

Διαβάστε περισσότερα

Εισαγωγή στην επιστήµη των υπολογιστών ΑΡΙΘΜΗΤΙΚΑ ΣΥΣΤΗΜΑΤΑ

Εισαγωγή στην επιστήµη των υπολογιστών ΑΡΙΘΜΗΤΙΚΑ ΣΥΣΤΗΜΑΤΑ Εισαγωγή στην επιστήµη των υπολογιστών ΑΡΙΘΜΗΤΙΚΑ ΣΥΣΤΗΜΑΤΑ 1 Αριθµητικό Σύστηµα! Ορίζει τον τρόπο αναπαράστασης ενός αριθµού µε διακεκριµένα σύµβολα! Ένας αριθµός αναπαρίσταται διαφορετικά σε κάθε σύστηµα,

Διαβάστε περισσότερα

CSC 314: Switching Theory

CSC 314: Switching Theory CSC 314: Switching Theory Course Summary 9 th January 2009 1 1 Θέματα Μαθήματος Ερωτήσεις Τι είναι αλγόριθμος? Τι μπορεί να υπολογιστεί? Απαντήσεις Μοντέλα Υπολογισμού Δυνατότητες και μη-δυνατότητες 2

Διαβάστε περισσότερα

Εισαγωγή στην επιστήµη των υπολογιστών. Αναπαράσταση Αριθµών

Εισαγωγή στην επιστήµη των υπολογιστών. Αναπαράσταση Αριθµών Εισαγωγή στην επιστήµη των υπολογιστών Αναπαράσταση Αριθµών 1 Δεκαδικό και Δυαδικό Σύστηµα Δύο κυρίαρχα συστήµατα στο χώρο των υπολογιστών Δεκαδικό: Η βάση του συστήµατος είναι το 10 αναπτύχθηκε τον 8

Διαβάστε περισσότερα

Σειρά Προβλημάτων 5 Λύσεις

Σειρά Προβλημάτων 5 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) ({ G η G είναι μια ασυμφραστική γραμματική που δεν παράγει καμιά λέξη με μήκος μικρότερο του 2 } (β) { Μ,w

Διαβάστε περισσότερα

Σύνοψη Προηγούµενου. Γλώσσες χωρίς Συµφραζόµενα (2) Ισοδυναµία CFG και PDA. Σε αυτό το µάθηµα. Αυτόµατα Στοίβας Pushdown Automata

Σύνοψη Προηγούµενου. Γλώσσες χωρίς Συµφραζόµενα (2) Ισοδυναµία CFG και PDA. Σε αυτό το µάθηµα. Αυτόµατα Στοίβας Pushdown Automata Σύνοψη Προηγούµενου Γλώσσες χωρίς Συµφραζόµενα (2) Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Αυτόµατα Στοίβας Pushdown utomata Ισοδυναµία µε τις Γλώσσες χωρίς Συµφραζόµενα:

Διαβάστε περισσότερα

Θεωρήµατα Ιεραρχίας Ειδικά Θέµατα Υπολογισµού και Πολυπλοκότητας, Μάθηµα Βασικής Επιλογής Εαρινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων

Θεωρήµατα Ιεραρχίας Ειδικά Θέµατα Υπολογισµού και Πολυπλοκότητας, Μάθηµα Βασικής Επιλογής Εαρινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Θεωρήµατα Ιεραρχίας Ειδικά Θέµατα Υπολογισµού και Πολυπλοκότητας, Μάθηµα Βασικής Επιλογής Εαρινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Απόστολος Φίλιππας Τµήµα Μηχανικών Η/Υ και Πληροφορικής 19 Μαΐου,

Διαβάστε περισσότερα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Επανάληψη Μαθήματος

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Επανάληψη Μαθήματος ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Επανάληψη Μαθήματος Το Μάθημα σε μια Διαφάνεια Υπολογιστικά μοντέλα Κανονικές Γλώσσες Ντετερμινιστικά Αυτόματα Μη Ντετερμινιστικά Αυτόματα Κανονικές Εκφράσεις

Διαβάστε περισσότερα

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 8 : Αυτόματα NFA - DFA. Αλέξανδρος Τζάλλας

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 8 : Αυτόματα NFA - DFA. Αλέξανδρος Τζάλλας Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Θεωρία Υπολογισμού Ενότητα 8 : Αυτόματα NFA - DFA Αλέξανδρος Τζάλλας 2 Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Τμήμα Μηχανικών Πληροφορικής

Διαβάστε περισσότερα

Σειρά Προβλημάτων 4 Λύσεις

Σειρά Προβλημάτων 4 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing που να διαγιγνώσκει τη γλώσσα { a 2n b n c 3n n 2 } : H ζητούμενη μηχανή Turing μπορεί να διατυπωθεί ως την

Διαβάστε περισσότερα

Σύνοψη Προηγούµενου. Κανονικές Γλώσσες (3) Παραδείγµατα µε Κανονικές Εκφράσεις. Σε αυτό το µάθηµα.

Σύνοψη Προηγούµενου. Κανονικές Γλώσσες (3) Παραδείγµατα µε Κανονικές Εκφράσεις. Σε αυτό το µάθηµα. Σύνοψη Προηγούµενου Κανονικές Γλώσσες (3) Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς (Ντετερµινιστική) Κλειστότητα Κανονικών Γλωσσών ως προς Ενωση. Κατασκευή: DFA

Διαβάστε περισσότερα

Κεφάλαιο 0. Μεταθετικοί ακτύλιοι, Ιδεώδη

Κεφάλαιο 0. Μεταθετικοί ακτύλιοι, Ιδεώδη Κεφάλαιο 0 Μεταθετικοί ακτύλιοι, Ιδεώδη Το κεφάλαιο αυτό έχει προπαρασκευαστικό χαρακτήρα Θα καθιερώσουµε συµβολισµούς και θα υπενθυµίσουµε ορισµούς και στοιχειώδεις προτάσεις για δακτύλιους και ιδεώδη

Διαβάστε περισσότερα

Ακρότατα υπό συνθήκη και οι πολλαπλασιαστές του Lagrange

Ακρότατα υπό συνθήκη και οι πολλαπλασιαστές του Lagrange 64 Ακρότατα υπό συνθήκη και οι πολλαπλασιαστές του Lagrage Ας υποθέσουµε ότι ένας δεδοµένος χώρος θερµαίνεται και η θερµοκρασία στο σηµείο,, Τ, y, z Ας υποθέσουµε ότι ( y z ) αυτού του χώρου δίδεται από

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Προτεινοµενες Ασκησεις - Φυλλαδιο 9

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Προτεινοµενες Ασκησεις - Φυλλαδιο 9 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Προτεινοµενες Ασκησεις - Φυλλαδιο 9 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2015/nt2015.html Παρασκευή 29 Μαίου 2015 Ασκηση 1.

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 5: Τανυστικά Γινόµενα

ΚΕΦΑΛΑΙΟ 5: Τανυστικά Γινόµενα ΚΕΦΑΛΑΙΟ 5: Τανυστικά Γινόµενα Στο κεφάλαιο αυτό εισάγουµε την έννοια του τανυστικού γινοµένου προτύπων. Θα είµαστε συνοπτικοί καθώς αναπτύσσουµε µόνο εκείνες τις στοιχειώδεις προτάσεις που θα βρουν εφαρµογές

Διαβάστε περισσότερα

Κεφάλαιο 2: ιατάξεις και Συνδυασµοί.

Κεφάλαιο 2: ιατάξεις και Συνδυασµοί. Κεφάλαιο : ιατάξεις και Συνδυασµοί. Περιεχόµενα Εισαγωγή Βασική αρχή απαρίθµησης ιατάξεις µε και χωρίς επανατοποθέτηση Συνδυασµοί Ασκήσεις Εισαγωγή Μέχρι το τέλος αυτού του κεφαλαίου ϑα ϑεωρούµε πειράµατα

Διαβάστε περισσότερα

Σειρά Προβλημάτων 4 Λύσεις

Σειρά Προβλημάτων 4 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing που να διαγιγνώσκει τη γλώσσα { n 3 } (α) H ζητούμενη μηχανή Turing μπορεί να διατυπωθεί ως την επτάδα Q,

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 2

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 2 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt016/nt016.html Πέµπτη 7 Οκτωβρίου 016 Ασκηση 1. Βρείτε όλους

Διαβάστε περισσότερα

1. στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι αβελιανή οµάδα, δηλαδή

1. στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι αβελιανή οµάδα, δηλαδή KΕΦΑΛΑΙΟ ΤΟ ΣΥΝΟΛΟ ΤΩΝ ΠΡΑΓΜΑΤΙΚΩΝ ΑΡΙΘΜΩΝ ιατεταγµένα σώµατα-αξίωµα πληρότητας Ένα σύνολο Σ καλείται διατεταγµένο σώµα όταν στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι

Διαβάστε περισσότερα