Θεωρία Υπολογισμού

Νέες Διαφάνειες

• Εισαγωγή (αρχείο pdf)
• Χρήσιμες Έννοιες (αρχείο pdf)
• Κανονικές Γλώσσες (μέρος 1ο) (αρχείο pdf)
• Κανονικές Γλώσσες (μέρος 2ο) (αρχείο pdf)
• Γλώσσες Ανεξάρτητες Συμφραζομένων - Αυτόματα Στοίβας (αρχείο pdf)
• Turing machines (αρχείο pdf)
• Διαγνωσιμότητα (αρχείο pdf)
• Αναγωγές (αρχείο pdf)
• P και NP (αρχείο pdf)

Ομάδες Προτεινομένων Ασκήσεων

• 1η ομάδα (αρχείο pdf) ==> Λύσεις 1ης ομάδας (αρχείο pdf)
• 2η ομάδα (αρχείο pdf) ==> Λύσεις 2ης ομάδας (αρχείο pdf)
• 3η ομάδα (αρχείο pdf) ==> Λύσεις 3ης ομάδας (αρχείο pdf)
• 4η ομάδα (αρχείο pdf) ==> Λύσεις 4ης ομάδας (αρχείο pdf)
• Η γλώσσα { a^i b^j | i = k*j } δεν είναι γλώσσα χωρίς συμφραζόμενα (αρχείο pdf)
• Λύσεις 5ης ομάδας (αρχείο pdf)
• Επιπλέον παραδείγματα Μηχανών Turing (αρχείο pdf)
• ΝΕΟ Ασκήσεις για Κανονικές Γλώσσες από το βιβλίο του Sipser (αρχείο pdf)