ΠΛΗ30 - ΜΑΘΗΜΑ 5.2 - ΑΠΟΦΑΣΙΣΙΜΕΣ ΓΛΩΣΣΕΣ - Θεωρία 4 από 6 (Κανονικές Γλώσσες)

Показать описание

1) Μηχανές Turing που αποφασίζουν γλώσσες
1.1) Ορισμός Αποφασίσιμης Γλώσσας
1.2) Οι μηχανές που γράφουν #Υ# και #Ν#
2) Μεθοδολογία Κατασκευής Μ.Τ.
2.1) Ισότητα 3 πραγμάτων
2.2) Αναλογία 3 πραγμάτων
2.3) Ανισότητα
2.4) Παλινδρομικότητα
2.5) Κανονικές Γλώσσες
3) Μη Ντετερμινιστικές Μ.Τ.
3.1) Μηχανή Turing για την παράθεση ομοίων
3.2) Μηχανή Turing που προσομοιώνει ΜΠΑ
4) Κλειστότητα στις Αποφασίσιμες Γλώσσες
4.1) Κλειστότητα στην Ένωση
4.2) Κλειστότητα στην Τομή
4.3) Κλειστότητα στο Συμπλήρωμα
4.4) Κλειστότητα στην Παράθεση
4.5) Κλειστότητα στο Αστέρι Kleene
Ασκήσεις