Αυτόματα και Υπολογιστικά Μοντέλα (Αυτόματα και Τυπικές Γραμματικές) (ΣΕΜΦΕ)
εαρινό εξάμηνο 2018-2019
Διδάσκοντες
Βοηθοί διδασκαλίας
Διαλέξεις
- Τετάρτη 15:00-17:00, 1.1.29, Παλαιό Κτίριο Ηλεκτρολόγων
- Παρασκευή 15:00-17:00, 1.1.29, Παλαιό Κτίριο Ηλεκτρολόγων
Βιβλιογραφία
- Σ. Ζάχος, Σημειώσεις
- Σ. Ζάχος, Α. Παγουρτζής, Τα Θεμέλια της Πληροφορικής, εκδόσεις Τσότρας, 2014
- Μ. Sipser. Introduction to the Theory of Computation.
- J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages and Computation.
- H. R. Lewis and C. Papadimitriou. Elements of the Theory of Computation, 2nd edition.
- D. C. Kozen. Automata and Computability (Undergraduate Texts in Computer Science).
- M. Harrison. Introduction to Switching and Automata Theory. McGraw-Hill Book Company, New York (1965).
- C. Papadimitriou. Computational Complexity.
- S. Arora, B. Barak. Computational Complexity: A modern approach.
- E. Grädel, W. Thomas, Th. Wilke. Automata, Logics and Infinite Games.
- Στο μάθημα της Παρασκευής 31/5 στις 15:00 θα λυθούν ασκήσεις και θα απαντηθούν απορίες.
- Οι διαφάνειες του μαθήματος ενημερώθηκαν. Στο σύνδεσμο παρακάτω οι παλιές έχουν αντικατασταθεί με τις καινούργιες. Οι αλλαγές αφορούν την ισοδυναμία LOOP-προγραμμάτων και πρωταρχικά αναδρομικών συναρτήσεων, το σχήμα της πολυωνυμικής ιεραρχίας, μερικές προσθήκες για recursive και r.e. sets, μαντεία και αριθμητική ιεραρχία και διάγραμμα Hasse αντί Venn στους προσεγγιστικούς αλγόριθμους.
- Η ώρα του μαθήματος αλλάζει την Τετάρτη από 15-17 σε 13-15.
- Το πρώτο μάθημα θα γίνει την Τετάρτη 20/2/19, 15:00-17:00.
Διαλέξεις
Διαφάνειες μαθήματος
Ασκήσεις
Αυτόματα και Τυπικές Γραμματικές
Μοντέλα υπολογισμού
- 9η σειρά (pdf)
- 10η σειρά (pdf)
- 11η σειρά (pdf)(όχι το GOTO)