Υπολογιστική Πολυπλοκότητα 23-24 (CEID_NY302)

Ύλη:

1. Ασκήσεις σε ΤΜς
2. Διαγνώσιμες Γλώσσες σε ΤΜ
3. Ισοδυναμία με Παραλλαγή της ΤΜ
4. Σχόλιο: Στο βιβλίο του Sipser, στον Ορισμό 3.1 της ΤΜ στη σελ. 196, γράφει στο (3): Σ \subseteq Γ. Αυτό είναι αληθές, αλλά αν θέλαμε να είμαστε πιο σωστοί θα γράφαμε Σ\subset Γ (δηλαδή δεν είναι ίσα), αφού όπως αναφέρεται και στο σημείο (3) το κενό ανήκει στο Γ ενώ από το (2) το κενό δεν ανήκει στο Σ.

Sipser σελ. 199-206

Υλικό:

Διαφάνειες σελ. 51-54

Διαφάνειες σελ. 1-5

Αντίστοιχη διάλεξη μέσω zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: το περιεχόμενο μπορεί να μη συμπίπτει ακριβώς με την αντίστοιχη διάλεξη στην αίθουσα.