Simulate DFA and NFA state machines online — define states, transitions, and test string acceptance step by step. Free computer science learning tool for automata theory