Từ các nhà phát triển: "BFC Máy tự động là một môi trường lập trình và một thông dịch viên cho 5 loại Máy tự động:. DFA, NFA, DSA, NSA và máy Turing Chương trình cũng có các tính năng Debug, bao gồm Step-by-Step và Full Report, và nó có khả năng để tự ngăn chặn một hành vô hạn của máy Turing "
Yêu cầu .
Windows 95/98 / Me / NT / 2000 / XP
Bình luận không