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

ΠΛΗ30 ΜΑΘΗΜΑ 5.1

5,128 views

Published on

1) Μηχανές Turing
1.1) Δομικά Στοιχεία
1.2) Τρόπος Λειτουργίας
1.3) Τυπικός Ορισμός
1.4) Διάγραμμα Καταστάσεων Μηχανής Turing
1.5) Παραδείγματα Απλών Μηχανών Turing
2) Σχέση «παράγει»
2.1) Κατάσταση Μ.Τ.
2.2) Σχηματισμός Μ.Τ.
2.3) Σχέση «Παράγει»
3) Διάγραμμα Ροής Μ.Τ.
3.1) Στοιχειώδεις Μ.Τ.
3.2) Σύνθετες Μ.Τ.
4) Χρήση των Μηχανών Turing
4.1) Μ.Τ. που υπολογίζουν συναρτήσεις
4.2) Επεκτάσεις των Μ.Τ.
Ασκήσεις

Published in: Education
  • Be the first to comment

  • Be the first to like this

ΠΛΗ30 ΜΑΘΗΜΑ 5.1

  1. 1. ΠΛΗ30 ΕΝΟΤΗΤΑ 5: ΑΠΟΦΑΣΙΣΙΜΕΣ και ΑΠΟ∆ΕΚΤΕΣ ΓΛΩΣΣΕΣ Μάθηµα 5.1: Μηχανές Turing που υπολογίζουν Συναρτήσεις ∆ηµήτρης Ψούνης
  2. 2. ΠΕΡΙΕΧΟΜΕΝΑ Α. Σκοπός του Μαθήµατος Β. Θεωρία 1. Μηχανές Turing 1. ∆οµικά Στοιχεία 2. Τρόπος Λειτουργίας 3. Τυπικός Ορισµός 4. ∆ιάγραµµα Καταστάσεων Μηχανής Turing 5. Παραδείγµατα Απλών Μηχανών Turing 2. Σχέση «παράγει» 1. Κατάσταση Μ.Τ. 2. Σχηµατισµός Μ.Τ. 3. Σχέση «Παράγει» 3. ∆ιάγραµµα Ροής Μ.Τ. 1. Στοιχειώδεις Μ.Τ. 2. Σύνθετες Μ.Τ. 4. Χρήση των Μηχανών Turing 1. Μ.Τ. που υπολογίζουν συναρτήσεις 2. Επεκτάσεις των Μ.Τ. Γ.Ασκήσεις 2∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις
  3. 3. Α. Σκοπός του Μαθήµατος Οι στόχοι του µαθήµατος είναι: Επίπεδο Α Η λειτουργία και ο σχεδίασµος Μ.Τ. είναι SOS για τις τελικές εξετάσεις ∆ιάγραµµα Ροής Μ.Τ. Επίπεδο Β ∆ιάγραµµα Κατάστασης Μ.Τ. Σχηµατισµός, Κατάσταση και σχέση «παράγει» στις Μ.Τ. Επίπεδο Γ (-) 3∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις
  4. 4. B. Θεωρία 1. Mηχανή Turing 1. ∆οµικά Στοιχεία µιας µηχανής Turing 4∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις ∆οµικά Στοιχεία µιας κλασικής Μηχανής Turing: • Μία µονάδα ελέγχου (όπως το αυτόµατο των κανονικών γλωσσών), δηλαδή έναν µηχανισµό καταστάσεων-µεταβάσεων. • Η µονάδα ελέγχου έχει µία µοναδική τελική κατάσταση που συµβολίζεται µε h • Επιπλέον όµως έχει µία ταινία συµβόλων απεριοριστου µεγέθους: • Έχει αρχή (το αριστερότερο κελί) και είναι απεριοριστού µήκους προς τα δεξιά. • Το ειδικό σύµβολο # δείχνει ότι το κελί είναι κενό. • Έχει µια κεφαλή που δείχνει σε ένα συγκεκριµένο κελί της ταινίας. Μηχανή Turing h ΜΟΝΑ∆Α ΕΛΕΓΧΟΥ ΤΑΙΝΙΑ # # … ΚΕΦΑΛΗ
  5. 5. B. Θεωρία 1. Μηχανή Turing 2. Τρόπος Λειτουργίας Μηχανής Turing 5∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις Προσοχή στον τρόπο λειτουργίας της µηχανής Turing (καµία σχέση µε τα προηγούµενα). Αρχικοποίηση • Προτού καν ξεκινήσει την λειτουργία της, έχουµε περάσει την είσοδο στην ταινία. • Συνήθως η είσοδος w είναι περασµένη ως #w# που σηµαίνει ότι: • Το αριστερότερο κελί είναι # • Μετά στα διαδοχικά κελιά είναι η συµβολοσειρά w • Αµέσως µετά όλα τα κελιά είναι κενά. • Η κεφαλή βρίσκεται συνήθως στην αρχή της ταινίας (καθορίζεται από την εκφώνηση) Σε κάθε βήµα: • Η µηχανή κοιτά την κατάσταση του αυτοµάτου και το σύµβολο της κεφαλής. • Εκτελείται η ενέργεια που καθορίζει η µετάβαση που µπορεί να είναι αποκλειστικά µία από τις εξής: • Κίνησε Αριστερά την Κεφαλή (Συµβολίζεται L) • Κίνησε ∆εξιά την Κεφαλή (Συµβολίζεται R) • Αντικατέστησε το σύµβολο του κελιού που δείχνει η κεφαλή µε το σύµβολο σ (συµβολίζεται σ) • Η µετάβαση θα συµβολίζεται στο αυτόµατο ως: • Α είναι η κατάσταση που βρισκόµαστε. • κ είναι το σύµβολο του κελιού που δείχνει η κεφαλή • Χ είναι L ή R ή σ Τερµατισµός: Όταν γίνει η µετάβαση στην τελική κατάσταση h A B κ/Χ
  6. 6. B. Θεωρία 1. Μηχανή Turing 3. Τυπικός Ορισµός Ντετερµινιστικής Μηχανής Turing Η µηχανή είναι ντετερµινιστική αφού έχουµε συνάρτηση µετάβασης (καθορίζεται µε µοναδικό τρόπο η µετάβαση του αυτοµάτου µε κάθε συνδυασµό κατάστασης και συµβόλου ταινίας) 6∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις Μια Ντετερµινιστική Μηχανή Turing είναι µια 5-άδα , Σ, δ, s, h όπου: είναι ένα πεπερασµένο σύνολο καταστάσεων Σ είναι το αλφάβητο ταινίας που υποχρεωτικά περιέχει το κενό ( # ). : Σ → Κ Σ ∪ , είναι η συνάρτηση µετάβασης. Π.χ. η κίνηση 0,1 1, σηµαίνει ότι είµαστε στην q0 και η κεφαλή δείχνει σε 1, οπότε µεταβαίνουµε στην q1 και µετακινούµε την κεφαλή µία θέση δεξιά) ∈ είναι η αρχική κατάσταση ∈ είναι η τελική κατάσταση. Συµπεριφορά µιας Μηχανής Turing Μία µηχανή Turing µπορεί να έχει µία από τις ακόλουθες συµπεριφορές: • Να τερµατίζει: Όταν φτάνει στην µοναδική τελική κατάσταση h • Να πέφτει σε βρόχο: Αν π.χ. έχουµε κίνηση της µορφής q, σ q, σ • Να κρεµάει: Αν γίνει µετάβαση L, όταν είµαστε στο 1ο κελί της ταινίας. Σηµαντικό! Μια µηχανή Turing που έχει γραφτεί σωστά θα εκτελεί µια ενέργεια πάνω στην ταινία της. Είναι προγραµµατιστικό λάθος να κρεµάει ή να πέφτει σε βρόχο.
  7. 7. B. Θεωρία 1. Μηχανή Turing 4. ∆ιάγραµµα Καταστάσεων Μηχανής Turing 7∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις ∆ιάγραµµα Καταστάσεων µηχανής Turing είναι µια σχηµατική απεικόνιση της συνάρτησης µετάβασης της µηχανής. • Η αρχική κατάσταση συµβολίζεται: • Η µετάβαση 0,1 1, συµβολίζεται: • Η (µοναδική) τελική κατάσταση h συµβολίζεται µε: q0 q1 1/R h
  8. 8. Ασκηση 1: Θεωρούµε την µηχανή Turing ΜΑ που περιγράφεται από το ακόλουθο διάγραµµα καταστάσεων. Αφού µελετήσετε την συµπεριφορά της µε είσοδο την συµβολοσειρά #abb# µε την κεφαλή να βρίσκεται στην αρχή της ταινίας, δώστε µία άτυπη περιγραφή της λειτουργίας της µηχανής. B. Θεωρία 1. Μηχανή Turing 5. Παραδείγµατα Απλών Μηχανών Turing. 8∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις q0 q1 #/R a/b b/a q2 a/R b/R h #/#
  9. 9. Ασκηση 2: Θεωρούµε την µηχανή Turing ΜΒ που περιγράφεται από το ακόλουθο διάγραµµα καταστάσεων. Αφού µελετήσετε την συµπεριφορά της µε είσοδο την συµβολοσειρά #ba# µε την κεφαλή να βρίσκεται στην αρχή της ταινίας, δώστε µία άτυπη περιγραφή της λειτουργίας της µηχανής. B. Θεωρία 1. Μηχανή Turing 5. Παραδείγµατα Απλών Μηχανών Turing. 9∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις q0 q1 #/R a/# b/# q2 #/R h #/#
  10. 10. B. Θεωρία 2. Σχέση «Παράγει» 1. Κατάσταση µιας Μ.Τ. 10∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις Κατάσταση µιας Μ.Τ. είναι µια ενιαία περιγραφή που καθορίζει την τρέχουσα κατάσταση της Μ.Τ. (δηλαδή µια φωτογραφία της κατάστασης στην οποία βρισκόµαστε). Στην κατάσταση ορίζουµε µε έναν µαθηµατικό τρόπο: 1. Σε ποια κατάσταση βρίσκεται η µονάδα ελέγχου 2. Σε ποια θέση της ταινίας βρίσκεται η κεφαλή 3. Ποια είναι η συµβολοσειρά στην ταινία. Παραδείγµατα: Η MA που µελετήσαµε σε προηγούµενο παράδειγµα πέρασε από τις καταστάσεις Μ.Τ.: • (q2,#bab) που σηµαίνει ότι • Η µονάδα ελέγχου ήταν στην κατάσταση q2 • Η ταινία είχε τα σύµβολα #bab###########..... • H κεφαλή δείχνει στο τρίτο κελί της ταινίας που έχει το σύµβολο α • (h,#abb#) που σηµαίνει ότι • Η µονάδα ελέγχου ήταν στην κατάσταση h • Η ταινία είχε τα σύµβολα #abb###########..... • H κεφαλή δείχνει στο πέµπτο κελί της ταινίας που έχει το σύµβολο # Παραδείγµατα καταστάσεων Μ.Τ.: • (q1,baa#) • (h,######a)
  11. 11. B. Θεωρία 2. Σχέση «Παράγει» 2. Σχηµατισµός µιας Μ.Τ. 11∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις Σχηµατισµός µιας Μ.Τ. είναι ένας πιο µαθηµατικός τρόπος να απεικονίσουµε την ίδια πληροφορία µε αυτήν της κατάστασης µιας Μ.Τ. και συγκεκριµένα ως ένα µέλος του καρτεσιανού γινοµένου: Κ Σ∗ Σ Σ∗ Σ # ∪ ! Όπου • το 1ο µέλος είναι η τρέχουσα κατάσταση • Το 2ο µέλος είναι η συµβολοσειρά από την αρχή της ταινίας, εώς και το κελί αριστερά της κεφαλής • Το 3ο µέλος είναι το σύµβολο του κελιού που δείχνει η κεφαλή • Το 4ο µέλος είναι η συµβολοσειρά στα δεξιά της κεφαλής. Παραδείγµατα: • Η κατάσταση Μ.Τ. (q2,#bab) αντιστοιχεί στον σχηµατισµό Μ.Τ. (q2,#b,α,b) • Η κατάσταση Μ.Τ. (h,#abb#) αντιστοιχεί στον σχηµατισµό Μ.Τ. (h,#abb,#,ε)
  12. 12. B. Θεωρία 2. Σχέση «Παράγει» 3. Σχέση «Παράγει» 12∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις Η σχέση «παράγει» ορίζεται για να έχουµε έναν µαθηµατικό τρόπο περιγραφής του τι κάνει η µια µηχανή Turing. • Τυπικά για µία Μηχανή Turing Μ=(Κ,Σ,δ,s,h) λέµε ότι ο σχηµατισµός ", #", $", %" παράγει σε ένα βήµα τον σχηµατισµό ', #', $', %' και γράφουµε: ", #", $", %" ⊢) ', #', $', %' • αν και µόνο αν µεταβαίνουµε από το 1ο σχηµατισµό στον 2ο ακολουθώντας την µετάβαση που ορίζεται στην συνάρτηση µετάβασης ως δ ", " Ορίζουµε επίσης τις σχέσεις: • «Παράγει σε n βήµατα» και συµβολίζουµε µε ⊢* + όπου κάνουµε n εφαρµογές της σχέσης «παράγει σε ένα βήµα» • «Παράγει» και συµβολίζουµε µε ⊢* ∗ όπου κάνουµε 0,1,2,…. εφαρµογές της σχέσης «παράγει σε ένα βήµα» Συνεπώς ένας υπολογισµός της Μ.Τ. είναι ο ,, -, #, .# ⊢/ ∗ 0, .1, 2, .3
  13. 13. B. Θεωρία 3. ∆ιάγραµµα Ροής Μ.Τ. 1. Στοιχειώδεις Μ.Τ. 13∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις Προκειµένου να κατασκευάσουµε µηχανές Turing που κάνουν µία ουσιαστική δουλειά, ορίζουµε απλές µηχανές που θα χρησιµοποιήσουµε ως δοµικά στοιχεία σε πιο περίπλοκες µηχανές. Οι µηχανές που ορίζει το βιβλίο του ΕΑΠ είναι οι εξής ( * σηµαίνει «οτιδήποτε»): s h */σ Μσ ή σ : «Γράψιµο Συµβόλου σ» s h */L ΜL ή L : «Κίνηση Αριστερά» s h */R ΜR ή R : «Κίνηση ∆εξιά» s h */* Μ> ή > «Μηχανή αρχή» h Μh ή h «Μηχανή-Τέλος» ( */* σηµαίνει «ότι αφήνουµε την ταινία ανέπαφη»): */*
  14. 14. Παράδειγµα: Η ακόλουθη µηχανή Turing µετακινεί την κεφαλή µία θέση δεξιά, διαβάζει το σύµβολο, πάει µία θέση δεξιά και γράφει το σύµβολο σ, γίνεται µία κίνηση δεξιά ακόµη και η µηχανή τερµατίζει. Η µηχανή αυτή µε είσοδο #aab# η κεφαλή πηγαίνει δεξιά #aab# διαβάζει το σύµβολο σ=α, µετακινεί την κεφαλή µια θέση δεξιά #aab#, γράφεται το σύµβολο σ=α (κατάσταση ταινίας #aaa# ) και η κεφαλή µετακινείται δεξία (κατάσταση ταινίας #aaa# ) και τερµατίζει. B. Θεωρία 3. ∆ιάγραµµα Ροής Μ.Τ. 1. Στοιχειώδεις Μ.Τ. 14∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις Συνθέτουµε πιο σύνθετες µηχανές στις οποίες ενώνουµε στοιχεώδεις µηχανές µε µεταβάσεις που διαβάζονται ως εξής: Σύµβολα Μεταβάσεων Κατά σύµβαση του ΕΑΠ αν δεν καθορίζεται µετάβαση από µια στοιχειώδη µηχανή, τότε το αυτόµατο τερµατίζει. Υποχρεωτική Μετάβαση (την ακολουθούµε υποχρεωτικά) x Μετάβαση αν η κεφαλή δείχνει στο σύµβολο x R 4 5 # R 4 5 # Μετάβαση µε αποθήκευση συµβόλου. Η µηχανή θυµάται ότι διάβασε το σύµβολο σ και µπορούµε έπειτα να γράψουµε το σύµβολο σ στην ταινία µε την µηχανή σ. σ R
  15. 15. B. Θεωρία 3. ∆ιάγραµµα Ροής Μ.Τ. 1. Στοιχειώδεις Μ.Τ. 15∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις Και οι ακόλουθες µηχανές Turing ορίζονται στο βιβλίο ΕΑΠ, θεωρούνται στοιχειώδεις και µπορούµε να τις χρησιµοποιήσαµε για να κατασκευάσουµε ακόµη πιο περίπλοκες µηχανές. R2: «∆ύο θέσεις δεξιά» R R Οµοίως µπορούµε να χρησιµοποιήσουµε την µηχανή L2 Γενικότερα µπορούµε να χρησιµοποιή- σουµε τις µηχανές Lk,Rk για k κάποιον φυσικό αριθµό. R#: «∆εξιά µέχρι να συναντήσεις #» R #6 Σχηµατικά ∆ιαβάζεται: «Όσο δεν διαβά- ζεις # πήγαινε δεξιά Οµοίως ορίζεται η µηχανή L# 7#6: «∆εξιά µέχρι να συναντήσεις µη κενό» R # Σχηµατικά ∆ιαβάζεται: «Όσο διαβά- ζεις # πήγαινε δεξιά Οµοίως ορίζεται η µηχανή #6
  16. 16. Άσκηση 1: ∆ώστε άτυπη περιγραφή της λειτουργίας της ακόλουθης Μ.Τ. µε είσοδο #w# όπου # ∈ 80,19∗ B. Θεωρία 3. ∆ιάγραµµα Ροής Μ.Τ. 2. Σύνθετες Μ.Τ. 16∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις Με χρήση των παραπάνω Μ.Τ. µπορούµε να κατασκευάσουµε πιο σύνθετες Μηχανές Turing οι οποίες πλέον είναι στοιχειώδεις αλγόριθµοι που εκτελούν µια ενέργεια πάνω στην ταινία της Μηχανής Turing. # #6 #
  17. 17. Άσκηση 2: ∆ώστε άτυπη περιγραφή της λειτουργίας της ακόλουθης Μ.Τ. µε είσοδο #w# όπου # ∈ 80,19∗ B. Θεωρία 3. ∆ιάγραµµα Ροής Μ.Τ. 2. Σύνθετες Μ.Τ. 17∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις L# 4 5 # # # ' 4 R# # L# ' 4
  18. 18. Παράδειγµα: Η ακόλουθη µηχανή Turing υπολογίζει την συνάρτηση f w #6 όπου #6 η συµβολοσειρά που προκύπτει από την w µετατρέποντας κάθε a σε b και κάθε b σε a. (Σηµείωση: Σ 8a, b9 ) B. Θεωρία 4. Χρήση των Μηχανών Turing 1. Μηχανές Turing που υπολογίζουν συναρτήσεις 18∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις Η δουλειά που τυπικά εκτελούν οι µηχανές Turing είναι να υπολογίζουν συναρτήσεις συµβολοσειρών: • Έστω µια συνάρτηση @: ΣA ∗ → ΣA ∗ µε ΣA ∗ Σ 8#9 • Λέµε ότι η µηχανή Turing Μ υπολογίζει την f αν για κάθε w ∈ ΣA ∗ µε f w u ισχύει ότι: , ### ⊢* ∗ h, #%# • Αν υπάρχει µηχανή Turing που υπολογίζει µια συνάρτηση f, λέµε ότι η συνάρτηση είναι Turing υπολογίσιµη ή αναδροµική $ C C $ # #
  19. 19. Άσκηση: Κατασκευάστε µηχανή Turing που υπολογίζει την συνάρτηση f w w#D όπου # ∈ 80,19∗ . B. Θεωρία 4. Χρήση των Μηχανών Turing 1. Μηχανές Turing που υπολογίζουν συναρτήσεις 19∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις
  20. 20. B. Θεωρία 4. Χρήση των Μηχανών Turing 2. Επεκτάσεις των Μηχανών Turing 20∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις Ορίζονται επεκτάσεις των Μηχανών Turing µε διάφορους τρόπους: 1. Μηχανή Turing µε άπειρη ταινία και προς τις δύο κατευθύνσεις. 2. Μηχανή Turing µε πολλές ταινίες και µία κεφαλή ανά ταινία 3. Μηχανή Turing µε µία ταινία και πολλές κεφαλές 4. Μηχανή Turing µε διδιάστατη και γενικότερα πολυδιάστατη ταινία Αποδεικνύεται ότι όλες οι παραπάνω µηχανές µπορούν να προσοµοιωθούν από την κλασική µηχανή Turing που µελετάµε στο µάθηµα αυτό. !! Στις εξετάσεις ζητείται υπολογισµός µε κλασική µηχανή Turing, αλλά θεωρητικά σε επόµενα µαθήµατα θα συναντήσουµε µηχανές Turing της περίπτωσης 2 !!
  21. 21. Γ. Ασκήσεις Άσκηση Κατανόησης 1 Η ακόλουθη µηχανή Turing ορίζεται ως η µηχανή αριστερής ολίσθησης, δηλαδή η µηχανή που κάνει την παραγωγή: , ### ⊢* ∗ h, ## όπου # ∈ 8 , 9∗ Επαληθεύστε την λειτουργία της µηχανής µε είσοδο τη συµβολοσειρά #abb# 21∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις L# 4 5 # 4 # #
  22. 22. Γ. Ασκήσεις Άσκηση Κατανόησης 2 Η ακόλουθη µηχανή Turing ορίζεται ως η µηχανή δεξιάς ολίσθησης, δηλαδή η µηχανή που κάνει την παραγωγή: , ### ⊢* ∗ h, #### όπου # ∈ 8 , 9∗ Επαληθεύστε την λειτουργία της µηχανής µε είσοδο τη συµβολοσειρά #abb# 22∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις L 4 5 #6 4 # # R#
  23. 23. Γ. Ασκήσεις Εφαρµογή 1 Κατασκευάστε µηχανή Turing που υπολογίζει την αναδροµική συνάρτηση f που ορίζεται ως εξής: • Η f δέχεται ως όρισµα έναν αριθµό στο µοναδιαίο σύστηµα αρίθµησης (π.χ. ο αριθµός 3 γράφεται 111 και ο αριθµός 5 γράφεται 11111) και να υπολογίζει τον επόµενό του w’. • Συνεπώς ζητείται Μ.Τ. που υπολογίζει την συνάρτηση f(w)=w’ και κάνει τον υπολογισµό: , ### ⊢* ∗ h, ##′# 23∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις
  24. 24. Γ. Ασκήσεις Εφαρµογή 2 Κατασκευάστε µηχανή Turing που υπολογίζει την αναδροµική συνάρτηση f που ορίζεται ως εξής: • Η f δέχεται ως όρισµα έναν αριθµό στο δυαδικό σύστηµα αρίθµησης και να υπολογίζει τον επόµενό του w’. Ο υπολογσιµός να γίνεται µόνο για τους αριθµούς>=1. • Συνεπώς ζητείται Μ.Τ. που υπολογίζει την συνάρτηση f(w)=w’ και κάνει τον υπολογισµό: , ### ⊢* ∗ h, ##′# 24∆ηµήτρης Ψούνης, ΠΛΗ30, Μάθηµα 5.1: Μηχανές Turing που Υπολογίζουν Συναρτήσεις

×