BFC Automata 2.0
از توسعه دهنده: "BFC خودکار یک محیط برنامه نویسی و یک مفسر برای 5 نوع از ماشین آلات است: DFA، NFA، DSA، NSA و ماشین تورینگ این برنامه همچنین دارای ویژگی های اشکال زدایی، از جمله گام به گام و گزارش کامل، و آن است که توانایی به صورت دستی اعدام بی نهایت از ماشین تورینگ توقف " در مورد نیاز:. ویندوز 95/98 / ME / NT /...