"Every non-deterministic finite state machine has a corresponding deterministic finite state machine that accepts exactly the same strings."