Täytyy olla Matematiikka ohjelmisto Varten Jean Bovet

työkalu simuloida, visualisointiin ja muuttamassa äärellinen automaatti ja Turingin koneet. Luo, simuloi ja muuntaa DFA ja EVI koneiden Luo ja simuloi TM Erä testit TM: hyödyllisiä ominaisuuksia testata joukko tiedostoja nopeasti! Helppo käyttää...