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

• 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. Μη Αποφασίσιμα Προβλήματα για Προγράμματα<...