Πανεπιστήμιο Ιωαννίνων
Τμήμα Μηχανικών Η/Υ και Πληροφορικής
Πολυτεχνική Σχολή
Πρόγραμμα Προπτυχιακών Σπουδών
Θεωρία Υπολογισμού
Διδάσκων:
Λεωνίδας Παληός
Νέες Διαφάνειες
Εισαγωγή
(αρχείο 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)
(Επιστροφή)