Γενικοί σύνδεσμοι |
---|
- Δεν υπάρχουν σύνδεσμοι σε αυτή την κατηγορία - |
Κατηγορίες συνδέσμων |
---|
Συναφή Μαθήματα |
Συναφές μάθημα στην coursera
Διαδικτυακό μάθημα με τίτλο Automata που διδάσκει ο Jeff Ullman του Πανεπιστημίου του Stanford στην coursera. |
Θεωρία Υπολογισμού στο Πανεπιστήμιο Κρήτης
Συναφές μάθημα όπως το διδάσκει ο Γ. Γεωργακόπουλος στο Τμήμα Επιστήμης Υπολογιστών απο τις δικές του σημειώσεις (βιβλίο?). |
Προτεινόμενα Βιβλία |
Εισαγωγή στην Θεωρία Υπολογισμού
Μετάφραση του βιβλίου του M. Sipser "Introduction to the theory of computation", 2nd edition, 2006 |
Στοιχεία Θεωρίας Υπολογισμού
Μετάφραση του βιβλίου των Lewis και Παπαδημητρίου "Elements of the Theory of Computation" (2nd Edition) |
Λογισμικό |
JFLAP
For experimenting with formal languages topics including nondeterministic finite automata, nondeterministic pushdown automata, multi-tape Turing machines, several types of grammars, parsing, and L-systems. In addition to constructing and testing examples for these, JFLAP allows one to experiment with construction proofs from one form to another, such as converting an NFA to a DFA to a minimal state DFA to a regular expression or regular grammar. |
Λοιποί Σύνδεσμοι |
Ο παλιός ιστότοπος του μαθήματος |
Λήμμα της άντλησης
Σημειώσεις απο το Πανεπιστήμιο Αιγαίου |