Musi mieć Oprogramowanie matematyki Dla Jean Bovet

Narzędzie do symulacji, wizualizacji i przekształcania automatów skończonych państwa i Turinga Machines. Tworzy, symuluje i przekształca DFA i NFA maszyny Tworzenie i symuluje TM Badania okresowe dla TM:! Przydatnych funkcji, aby szybko sprawdzić...