Kehittäjä: "BFC Automaatit on ohjelmointiympäristö ja tulkkina 5 eri Automaatit: DFA, NFA, DSA, NSA ja Turingin koneet. Ohjelmassa on myös Debug ominaisuuksia, kuten Step-by-Step ja koko raportti, ja se on kyky lopettaa käsin ääretön suorittamisen...