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

• Κύριοι συγγραφείς: Katsaros, Panagiotis, Κατσαρός, Παναγιώτης
• Μορφή: 7
• Γλώσσα: Greek
• Έκδοση: 2016
• Θέματα: ΓΛΩΣΣΕΣ; ΑΥΤΟΜΑΤΑ; ΓΡΑΜΜΑΤΙΚΕΣ; ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ; ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ; Languages; Automata; Grammars; Computability; Computational Complexity

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