Next: 5.1 Τρ, 24/9/02: Εισαγωγικά
Up: Course in Discrete Mathematics
Previous: 4 Βαθμολογικό Σύστημα -
Contents
Subsections
- 5.1 Τρ, 24/9/02: Εισαγωγικά
- 5.2 Πα, 27/9/02: Μικρή επανάληψη. Δέντρα.
- 5.3 Τρ, 1/10/02: Σχέσεις, ισοδυναμίες, μεταβατική κλειστότητα.
Ντετερμινιστικά αυτόματα
- 5.4 Πα, 4/10/02: Παραδείγματα από DFA. Μη ντετερμινιστικά αυτόματα (NFA).
- 5.5 Τρ, 8/10/02: Ισοδυναμία NFA και DFA. NFA με
-κινήσεις
- 5.6 Πα, 11/10/02: Κανονικές εκφράσεις και γλώσσες. Σχέση με αυτόματα.
- 5.7 Τρ, 22/10/02: Κλειστότητα κανονικών γλωσσών κάτω από απλές
πράξεις. Το Λήμμα άντλησης.
- 5.8 Τρ, 29/10/02, Πα 1/11/02: Αλγόριθμοι για DFA. Θεώρημα Myhill-Nerode
- 5.9 Τρ, 5/11/02: Ελαχιστοποίηση DFA
- 5.10 Δε, 18/11/02: Θέματα και αποτελέσματα Προόδου
- 5.11 Context free γραμματικές και γλώσσες
- 5.12 Υπολογισιμότητα
- 5.13 Σά, 8/2/03: Θέματα και αποτελέσματα Τελικού Διαγωνίσματος
- 5.14 Σεπτέμριος
Mihalis Kolountzakis
2003-09-04
μιας σχέσης 