Ορισμός της μηχανής Turing

Όταν ο κόσμος κατευθυνόταν για μια νέα παγκόσμια φλεγμονή, τη δεκαετία του 1930, η επιστήμη της χρήση υπολογιστή Προχώρησε επίσης, καθοδηγούμενο σε πολλές περιπτώσεις από την προετοιμασία για την πολεμική προσπάθεια που θα είχαν φτάσει ορισμένοι ήδη.

Σε αυτό το πλαίσιο ο Βρετανός μαθηματικός Άλαν Τούρινγκ (a posteriori θεωρούσε έναν από τους πατέρες του χρήση υπολογιστή σύγχρονο) αναπτύσσει το έργο του και, το 1936, υποστηρίζει ποια θα είναι τα θεμέλια του υπολογιστή μοντέρνο.

Η κλήση Μηχανή Turing Είναι μια θεωρητική συσκευή ικανή να επεξεργάζεται δεδομένα σύμφωνα με δεδομένους κανόνες.

Τόσο οι κανόνες όσο και τα δεδομένα είναι ξεχωριστά. Στην πραγματικότητα, ο Turing φαντάστηκε ότι οι κανόνες θα αποθηκεύονταν σε κάποιο είδος σταθερού μέσου, ενώ Τα δεδομένα θα αποθηκεύονταν σε κασέτες που θα μπορούσε να τροποποιήσει το ίδιο μηχάνημα σύμφωνα με τον πίνακα του κανόνες.

Βλέπουμε με σαφήνεια σε αυτό το εννοιολογικό μοντέλο μια πρόοδο του τι θα είναι οι σύγχρονοι υπολογιστές: ακόμα κι αν κάποιος έχει επίπεδο

Όνομα χρήστη απλό, μπορείτε εύκολα να δείτε τη διάκριση μεταξύ του εφαρμογή "Αμετάβλητο" (με αποχρώσεις, αλλά σε αυτήν την περίπτωση ας το πάρουμε έτσι) και τα δεδομένα, τα οποία μπορούν να τροποποιηθούν σύμφωνα με τους κανόνες, οι οποίοι θα ήταν οι προγραμματισμός.

Παρόλο που η θεωρητική μηχανή Turing είναι εξαιρετικά απλή, εκτελεί μόνο πολύ βασικές λειτουργίες όπως η αλλαγή κατάστασης, η διαβάζοντας και γράφοντας, είναι σε θέση να πραγματοποιήσει όλους τους μαθηματικούς υπολογισμούς που ένας μηχανικός υπολογιστής μπορεί να εκτελέσει χρησιμοποιώντας ένα αλγόριθμος.

Με άλλα λόγια, εάν ένα πρόβλημα θα μπορούσε να εκφραστεί μέσω ενός αλγόριθμος Γραπτώς, θα μπορούσε να υποβληθεί σε επεξεργασία - τουλάχιστον σε θεωρητικό επίπεδο - από μια μηχανή Turing.

Ο Άλαν Τούρινγκ το συνέλαβε ως άσκηση για να δείξει ότι υπήρχαν μαθηματικά προβλήματα που οι υπολογιστές δεν μπορούσαν να λύσουν.

Η ταινία δεδομένων, την οποία ο Turing αντιλήφθηκε ως άπειρη, μπορεί να μετακινηθεί από το μηχάνημα από δεξιά προς τα αριστερά και από αριστερά προς τα δεξιά, όπως μια παλιά κασέτα ή κασέτα με ταινία που μπορεί να ανατραπεί ή να προχωρήσει διακριτικότητα.

Το σύνολο κανόνων μπορεί επίσης να γίνει κατανοητό ως γλώσσα προγραμματισμού, καθώς πρέπει να έχει σύνταξη λογική και συνεπής.

Εκ των υστέρων, άλλοι μαθηματικοί έχουν κάνει πιο εξελιγμένες εκδόσεις του Turing Machine.

Έτσι, υπάρχουν μηχανήματα με δύο ζώνες, ντετερμινιστικά ή ακόμη και μια κβαντική μηχανή Turing που μπορεί βοήθεια, όπως έκανε ο περίφημος πρόγονος της, θέτει τα θεμέλια του πολυαναμενόμενου υπολογισμού ποσοστό.

Φωτογραφία Fotolia: Chrisdorney / Steve Simmons

Θέματα στη μηχανή Turing