Finite Non-Deterministic Automaton With Lambda Transitions