Course : Θεωρία Υπολογισμού [open]
Course code : ICSD127
321-6701 - Αλέξης Καπόρης
Units - Αυτόματα στοίβας, λήμμα άντλησης για γλώσσες χωρίς συμφραζόμενα
-
Units
-
Κανονικές γλώσσες, πεπερασμένα αυτόματα
-
Λήμμα άντλησης για κανονικές γλώσσες
-
Γραμματικές και γλώσσες χωρίς συμφραζόμενα
-
Αυτόματα στοίβας, λήμμα άντλησης για γλώσσες χωρίς συμφραζόμενα
-
Μηχανές Turing, υπολογισιμότητα
-
Η θέση των Church-Turing. Μη-υπολογισιμότητα, το πρόβλημα του τερματισμού
-
Χρονική πολυπλοκότητα, η κλάση Ρ, η θέση των Cook-Karp
-
Αναγωγή και πληρότητα
-
Μη-ντετερμινισμός και NP-πληρότητα, σχέση Ρ και ΝΡ
-
Αλγοριθμικές συνέπειες NP-πληρότητας
-
Κανονικές γλώσσες, πεπερασμένα αυτόματα
Αυτόματα στοίβας, λήμμα άντλησης για γλώσσες χωρίς συμφραζόμενα
Περιγραφή και κατασκευή Αυτομάτων στοίβας, παρουσίαση και χρήση λήμματος άντλησης για γλώσσες χωρίς συμφραζόμενα.
ΠΑΡΟΥΣΙΑΣΕΙΣ
ΔΙΑΛΕΞΕΙΣ (VIDEO)
Αυτόματα στοίβας, λήμμα άντλησης για γλώσσες χωρίς συμφραζόμενα
ΑΣΚΗΣΕΙΣ ΑΥΤΟΑΞΙΟΛΟΓΗΣΗΣ