Πίνακας περιεχομένων:
- Ορισμός - Τι σημαίνει η μη-προσδιοριστική μηχανή Turing (NTM);
- Η Techopedia εξηγεί μη-καθοριστική μηχανή Turing (NTM)
Ορισμός - Τι σημαίνει η μη-προσδιοριστική μηχανή Turing (NTM);
Μια μη ντετερμινιστική μηχανή Turing είναι ένας θεωρητικός τύπος υπολογιστή στον οποίο συγκεκριμένες εντολές μπορούν να επιτρέψουν μια σειρά ενεργειών και όχι μια συγκεκριμένη εντολή που οδηγεί σε μία μόνο επιτρεπόμενη ενέργεια στο ντετερμινιστικό μοντέλο της πληροφορικής.
Όπου ο ντετερμιτιστικός προγραμματισμός είναι μια απλή συνθήκη της εισόδου Χ οδηγεί στη δράση Υ, μια μη-ντετερμινιστική ρύθμιση της μηχανής Turing θα επιτρέπει θεωρητικά την είσοδο Χ να οδηγεί σε μια ποικιλία ενεργειών Y (array).
Η Techopedia εξηγεί μη-καθοριστική μηχανή Turing (NTM)
Οι μη ντετερμινιστικές μηχανές Turing θα μπορούσαν πραγματικά να προσφέρουν μια κατεύθυνση για το μέλλον των έξυπνων ή τεχνητά νοήμων υπολογιστών. Με την αφαίρεση της υπολογιστικής εργασίας από το ντετερμινιστικό παράδειγμα, οι υπολογιστές θα μπορούσαν να μάθουν να λύουν πιο περίπλοκα προβλήματα και να «σκέπτονται» περισσότερο σαν τους ανθρώπους.
Ένας τύπος μη-ντετερμινιστικής μηχανής Turing είναι η πιθανοτική μηχανή Turing. Εδώ, η σειρά ενεργειών (Υ) που προαναφέραμε καθορίζεται μέσω κάποιας κατανομής πιθανοτήτων. Ένας άλλος τρόπος να το πούμε είναι ότι όταν η μηχανή έχει περισσότερες από μία επιλογές, πηγαίνει σε ένα πιθανοτικό μοντέλο, αναλύει αυτό το μοντέλο και κάνει την επιλογή ανάλογα.
Υπάρχουν πολλοί άλλοι τρόποι να παραγγείλετε μια μη ντετερμινιστική μηχανή Turing, αλλά η αρχή είναι ότι ο υπολογιστής πρέπει να επιλέξει από ένα διαθέσιμο σύνολο επιλογών. Ορισμένα μη ντετερμινιστικά μοντέλα Turing σε μια εκμάθηση μηχανικής μάθησης μπορεί να αποτελούνται από τον υπολογιστή που ακολουθεί τις διαδρομές της λογικής σε ένα αποδεκτό ή απορριφθέν τέλος, και στη συνέχεια να επιστρέψει και να επιλέξει μια ανάλογη ενέργεια.
Όπως επισημαίνουν οι ειδικοί, οι μη-ντετερμινιστικές μηχανές Turing είναι διαφορετικές από τα μοντέλα κβαντικής πληροφορικής. Στην κβαντική υπολογιστική, η συρροή των δυαδικών δυαδικών ψηφίων σε qubits διευρύνει το πρότυπο και καθιστά τις υπολογιστικές διαδικασίες πιο περίπλοκες και εξελιγμένες.
Στη μη ντετερμινιστική μηχανή Turing, όπως εξηγείται, είναι η διαθεσιμότητα των επιλογών ανάλογα με τις εισόδους που παίρνουν το υπολογιστικό μοντέλο μακριά από τον καθαρό ντετερμινισμό.
