modeliuoti, vizualizuoti ir pertvarkyti baigtinių valstybės automatai ir Tiuringo mašina įrankis. Sukuria, imituoja ir paverčia DFA ir NFA mašinos Sukuria ir imituoja TM Periodiniai bandymai TM! Naudingų funkcijų greitai patikrinti failų krūva ...
- Pagrindinis puslapis
- Jean Bovet
- švietimo ir mokslo programinė įranga
- Matematikos programinė įranga