From the developer: "BFC Automata is a programming environment and an interpreter for 5 types of Automata: DFA, NFA, DSA, NSA and Turing Machines. The program also has Debug features, including Step-by-Step and Full Report, and it has the ability to manually stop an infinite execution of Turing Machines."