Επιλυσιμότητα και Μη Επιλυσιμότητα

• Main Authors: Katsaros, Panagiotis, Κατσαρός, Παναγιώτης
• Format: 7
• Language: Greek
• Published: 2016
• Subjects: ΓΛΩΣΣΕΣ; ΑΥΤΟΜΑΤΑ; ΓΡΑΜΜΑΤΙΚΕΣ; ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ; ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ; Languages; Automata; Grammars; Computability; Computational Complexity

1. Η Θέση των Church-Turing<br/>2. Το Πρόβλημα του Τερματισμού<br/>3. Αποφασίσιμα και Μη Αποφασίσιμα Προβλήματα<br/>4. Αναγωγές<br/>5. (Μη) Αποφασίσιμα Προβλήματα για ΜΤ και Γραμματικές<br/>6. Το Θεωρήμα του Rice<br/>7. Μη Αποφασίσιμα Προβλήματα για Προγράμματα<br/>8. Εφαρμογές<br/>9. Κριτήρια αξιολόγησης<br/>10. Βιβλιογραφία - αναφορές