Μηχανή Τούρινγκ

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

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

  • Κ είναι το πεπερασμένο σύνολο των καταστάσεων της Μ
  • Σ είναι το πεπερασμένο αλφάβητο της Μ
  • s είναι η αρχική κατάσταση της Μ
  • δ είναι η συνάρτηση μετάβασης