Simulátor Turingovho stroja. Turingov stroj (angl. Turing Machine) predstavuje jeden z najdôležitejších modelov na popis formálnych jazykov.
Vstupom stroja je vstupné slovo zapísané na nekonečne dlhej páske. Stroj má definovaný počiatočný stav a množnu koncových stav. Podľa prechodových funkcií spracováva vstupné slovo, pričom jednotlivé symboly môže aj prepisovať. Stroj akceptuje slovo, ak sa dostane do stavu z množiny koncových stavov.
Simulátor Turingovho stroja zjednodušuje prácu pri zápise a ladení prechodových funkcií. Podporuje zvýrazňovanie syntaxe, výber z viacerých možností zápisu prechodových funkcií. Prostredie simulátora obsahuje štyri karty medzi, ktorými je možné prepínať: funkcie, priebeh simulácie, záznam priebehu, stavy.
Aplikácia obsahuje grafický editor stavov a prechodových funkcií medzi nimi. V tomto pohľade sa dá ľahko zistiť, či sú všetky stavy dosiahnuteľné pomocou daných prechodových funkcií.
Simulátor podporuje prácu s nederministickými Turingovými strojmi. Pamätá si pôvodnú pásku, a teda ju nie je potrebné zadávať znovu po každom vykonaní programu. Samozrejmosťou je krokovanie simulácie, či nastavenie jej rýchlosti. Pre zabezpečenie väčšej pohodlnosti pri práci s programom je prítomná funkcia Štatistika pásky, pomocou ktorej je možné zistiť počet jednotlivých symbolov na páske
Pre spustenie programu je potrebné mať nainštalovaný .NET Framework 2.0.
Stiahnuť Turingov stroj