What Is Non Deterministic Finite Automata