ΠΛΗ30 - ΜΑΘΗΜΑ 3.3 - Μη Ντετερμινιστικά Πεπερασμένα Αυτόματα (ΜΠΑ) - Θεωρία 2 από 3

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

[vangelis_]

καλησπέρα, στο 7:38 (2ο παράδειγμα) στην τελική κατάσταση δεν πρέπει να κάνουμε ανακύκλωση με 1 μόνο;

[rack]

κ.Ψούνη θα μπορούσατε να με βοηθησετε να βρω την κανονικη εκφραση στο σύνολο συμβολοσειρών του Σ2 = {a, b} που δεν περιέχουν δύο συνεχόμενα ′ab′

[tzen]

Το + στη συμβολοσειρα είναι ίδιο με το | ή σημαίνει μια ή παραπάνω φορές;