Καλύτερος λογισμικού μαθηματικών για Jean Bovet

Ένα εργαλείο για την προσομοίωση, οπτικοποίηση και τη μετατροπή αυτόματα καθορισμένης κατάστασης και μηχανές Turing. Δημιουργεί, προσομοιώνει και μεταμορφώνει DFA και NFA μηχανήματα Δημιουργεί και προσομοιώνει TM δοκιμές παρτίδων για TM: χρήσιμες...