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

Έγγραφα

Επάνω
ΤύποςAρχείο ΕπάνωΜέγεθοςΗμερομηνία
Ενότητα 27- Μη Επιλυσιμότητα  304.85 KB19/8/14
Ενότητα 26- Καθολική Μηχανή Turing  296.83 KB19/8/14
Ενότητα 25- Γραμματικές Χωρίς Περιορισμούς  262.24 KB19/8/14
Ενότητα 24- Μη Ντεντερμινιστικές Μηχανές Turing  403.6 KB19/8/14
Ενότητα 23- Μηχανές Turing Τυχαίας Προσπέλασης  460.87 KB19/8/14
Ενότητα 22- Μηχανές Turing Πολλαπλών Ταινιών  440.32 KB19/8/14
Ενότητα 21- Υπολογισμοί Μηχανών Turing - Αναδρομικές Γλώσσες  404.24 KB19/8/14
Ενότητα 20- Μηχανές Turing: Σύνθεση και Υπολογισμοί  454.51 KB19/8/14
Ενότητα 19- Ντεντερμινιστικές Γλώσσες Χωρίς Συμφραζόμενα - Μηχανές Turing  563.25 KB19/8/14
Ενότητα 18- Λήμμα Άντλησης για Γραμματικές Χωρίς Συμφραζόμενα  350.83 KB19/8/14
Ενότητα 17- Αυτόματα Στοίβας και Γραμματικές Χωρίς Συμφραζόμενα  322.73 KB19/8/14
Ενότητα 16- Αυτόματα Στοίβας  326.1 KB19/8/14
Ενότητα 15- Συντακτικά δέντρα  399.78 KB19/8/14
Ενότητα 14- Γραμματικές Χωρίς Συμφραζόμενα  287.74 KB19/8/14
Ενότητα 13- Ελαχιστοποίηση πεπερασμένων αυτομάτων  356.33 KB19/8/14
Ενότητα 12- Κανονικότητα ή μη των γλωσσών  346.07 KB19/8/14
Ενότητα 11- Κλειστότητα, ΠΑ & καν. Εκφράσεις  403.81 KB19/8/14
Ενότητα 10- Ισοδυναμία ντετερμινιστικών και μη ντετερμινιστικών αυτομάτων  276.78 KB19/8/14
Ενότητα 09- Μη ντετερμινιστικά αυτόματα (ΜΝΠΑ)  319.77 KB19/8/14
Ενότητα 08- Πεπερασμένα Αυτόματα (ΠΑ)  429.05 KB19/8/14
Ενότητα 07- Πεπερασμένη αναπαράσταση γλωσσών  347.08 KB19/8/14
Ενότητα 06- Συμβολοσειρές & γλώσσες  312.78 KB19/8/14
Ενότητα 05- Τεχνικές απόδειξης & Κλειστότητα  384.78 KB19/8/14
Ενότητα 04- Ισοδυναμία, διάταξη, άπειρα σύνολα  318.96 KB19/8/14
Ενότητα 03- Συναρτήσεις - σχέσεις  355.2 KB19/8/14
Ενότητα 02- Σύνολα και Σχέσεις  415.92 KB19/8/14
Ενότητα 01- Εισαγωγή  1.19 MB19/8/14