Μη ντετερμινιστικές μηχανές Turing
Μη ντετερμινιστικές μηχανές Turing. Μη ντετερμινισμός και αποφασισιμότητα. Αναγωγές. Απαριθμήσιμες γλώσσες. Θεώρημα του Rice. Υπολογιστική πολυπλοκότητα.Παραδείγματα προβλημάτων. Οι κλάσεις P, NP και EXP.
Μη ντετερμινιστικές μηχανές Turing. Μη ντετερμινισμός και αποφασισιμότητα. Αναγωγές. Απαριθμήσιμες γλώσσες. Θεώρημα του Rice. Υπολογιστική πολυπλοκότητα.Παραδείγματα προβλημάτων. Οι κλάσεις P, NP και EXP.