nástroj pro simulaci, vizualizaci a transformaci konečné automaty a Turingovy stroje. Vytváří, simuluje a transformuje DFA a NFA strojů Vytvoří a simuluje TM Batch zkoušky na TM:! Užitečné funkce pro rychlé testování spoustu souborů GUI rozhraní...
- Hlavní stránka
- Jean Bovet
- Vzdělávací a věda software
- Matematický software