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

Περιεχόμενα

Κεφ. 1 · Αυτόματα (DFA) και κανονικές εκφράσεις11 ενότητες

• 1.1 Τι είναι γλώσσα
• 1.2 Πρώτα αυτόματα
• 1.3 Περιέχει το w
• 1.4 Λίγη θεωρία περί γλωσσών
• 1.5 Το concept του «ΔΕΝ»
• 1.6 Απλοποίηση αυτομάτου
• 1.7 Το concept του «ακριβώς»
• 1.8 Άρτια – περιττά – πολλαπλάσια
• 1.9 Περιέχει το τάδε και το παρατάδε
• 1.10 Άσκηση τύπου θέμα
• 1.11 Έλεγξε τι κατάλαβες

Κεφ. 2 · Μη ντετερμινισμός (NFA)7 ενότητες

• 2.1 Ντετερμινιστικά και μη ντετερμινιστικά αυτόματα
• 2.2 Πώς αποδέχεται ένα DFA και πώς ένα NFA
• 2.3 Παράδειγμα από τον Sipser: ε-κινήσεις
• 2.4 Ο ορισμός: DFA και NFA
• 2.5 Ποιες γλώσσες λέμε τελικά κανονικές
• 2.6 Άσκηση τύπου θέμα
• 2.7 Έλεγξε τι κατάλαβες