non-deterministic finite automata being relatable

its ok, NFA