Θεωρία Υπολογισμού Μηχανές Turing
w#w προσομοίωση
Θεωρητικός ορισμός ΜΤ
Διαμόρφωση ΜΤ Η διαμόρφωση μιας ΜΤ αποτελείται από Μια κατάσταση q, την τωρινή κατάσταση Μια λέξη w, η ταινία τώρα περιέχει το w_* Μια θέση, όπου βρίσκεται τώρα η ακίδα της ταινίας Γράφουμε uqv όπου u, v στο Γ* για να δηλώσουμε ότι η μηχανή είναι διαμορφωμένη ως εξής Ο ελεγκτής είναι στην κατάσταση q. Η ταινία περιέχει το uv_* Η ακίδα είναι στο πρώτο σύμβολο της v
Λειτουργία ΜΤ Έστω q στο Q − {q accept, q reject }. Η M μετακινείται από την διαμόρφωση uqcv στην u’q’v’ όπου u,v,u’,v’ ∈ Γ* q,q’ ∈ Q, και c ∈ Γ, ανν Υπάρχει κάποιο d τέτοιο ώστε δ(q, c) = (q’, d, R), και v ≠ ϵ και u ′ = ud, και v′ = v ή v = ϵ και u′ = ud, και v′ = ή Υπάρχει κάποιο d τέτοιο ώστε δ(q, c) = (q’, d, L), και u = u’b και v ′ = bdv ή u = u’ = ϵ και v ′ = dv
Αποδοχή, απόρριψη, παλινδόμιση M αποδέχεται το w C 0, C 1, … τέτοια ώστε C 0 = q 0 w Για κάθε j=0,…,i-1 C ι αποδοχής
Αναγνωρίσιμες γλώσσες Μ αναγνωρίζει την γλώσσα Α ανν Μ αποδέχεται κάθε λέξη της Απορρίπτει ή δεν αποφασίζει τις λέξεις που δεν ανήκουν σε αυτήν Μ αποφασίζει την γλώσσα Α ανν Μ αποδέχεται κάθε λέξη της Απορρίπτει τις λέξεις που δεν ανήκουν σε αυτήν
Παραδείγματα 1.Κινήσου δεξιά διαγράφοντας κάθε δεύτερο 0 2.Αν έχει μείνει μόνον ένα 0 αποδέχεσαι 3.Αν περιέχει περισσότερα από ένα 0 και αυτά είναι περιττού πλήθους απορίπτεις 4.Επιστρέφεις στην αρχή της ταινίας 5.Επιστρέφεις στο βήμα 1
Παραδείγματα