ΠΕΡΙΕΧΟΜΕΝΑ ΜΑΘΗΜΑΤΟΣ:
1) Μη Ντετερμινιστικά Πεπερασμένα Αυτόματα
1.1) Τρόπος Λειτουργίας
1.2) Μεθοδολογία Κατασκευής
1.3) Ορισμός Κανονικής Γλώσσα
2) Μαθηματικοί Ορισμοί
2.1) Μαθηματικός Οριμός ΜΠΑ (χωρίς ε κινήσεις)
2.2) ΜΠΑ: Απόφαση μέσω της αναδρομικής σχέση δ*
2.3) Μαθηματικός Ορισμός ΜΠΑ (με ε-κινήσεις)
2.4) ΜΠΑ(με ε-κινήσεις): Απόφαση μέσω της αναδρομικής συνάρτησης δ*
Ασκήσεις