Theory of computation: nondeterministic finite automata
NFA and DFA are equavelent. The lembda edge can be replaced by a shortcut.
Theory of computation: nondeterministic finite automata
http://blog.slray.com/2025/02/04/Theory-of-computation-nondeterministic-finite-automa/