Μηχανή Τούρινγκ
Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Η Μηχανή Τούρινγκ (Turing Machine) ορίζεται ως μια διατεταγμένη τετράδα Μ = (Κ,Σ,δ,s) όπου:
- Κ είναι το πεπερασμένο σύνολο των καταστάσεων της Μ
- Σ είναι το πεπερασμένο αλφάβητο της Μ
- s είναι η αρχική κατάσταση της Μ
- δ είναι η συνάρτηση μετάβασης