Non Deterministic Finite Automata Application