Turing machine

Οι μηχανή Τούριγκ είναι μια βασική αφηρημένη μηχανή που μεταχειρίζεται σύμβολα, η οποία, παρ' όλη την απλότητά της, μπορεί να προσαρμοστεί έτσι ώστε να προσομοιώσει τη λογική οποιουδήποτε υπολογιστή που μπορεί να κατασκευασθεί ποτέ. Οι μηχανές Τούρινγκ περιγράφηκαν το 1936 από τον Άλαν Τούρινγκ. Ενώ σχεδιάστηκαν για να είναι τεχνικά εφικτές, οι μηχανές Τούρινγκ δεν προορίζονταν να είναι πρακτική υπολογιστική τεχνολογία, αλλά ένα νοητό πείραμα για τα όρια των μηχανικών υπολογισμών. Έτσι, δεν κατασκευάστηκαν στην πραγματικότητα. Η μελέτη των αφηρημένων τους ιδιοτήτων φανερώνει πολλές αρχές της επιστήμης υπολογιστών και της θεωρίας πολυπλοκότητας.
Δείτε περισσότερα στο Βικιπαίδεια.org...