Which of the following is a simulator for non deterministic automata?

• A. JFLAP
• B. Gedit
• C. FAUTO
• D. None of the mentioned