COMPILER DESIGN

Detailed explanation-1: -An epsilon transition (also epsilon move or lambda transition) allows an automaton to change its state spontaneously, i.e. without consuming an input symbol. It may appear in almost all kinds of nondeterministic automaton in formal language theory, in particular: Nondeterministic Turing machine .

Detailed explanation-2: -The automaton which allows transformation to a new state without consuming any input symbols: NFA.

Detailed explanation-3: -Explanation: NFA-l or e-NFA is an extension of Non deterministic Finite Automata which are usually called NFA with epsilon moves or lambda transitions. Explanation: An epsilon move is a transition from one state to another that doesn’t require any specific condition.

Detailed explanation-4: -NFA stands for non-deterministic finite automata. It is easy to construct an NFA when compared to DFA for a given regular language. The finite automata are called NFA when there exist many paths for specific input from the current state to the next state. Each NFA can be translated into DFA but every NFA is Non DFA.

Detailed explanation-5: -Statement: Both NFA and e-NFA recognize exactly the same languages. Explanation: e-NFA do come up with a convenient feature but nothing new. They do not extend the class of languages that can be represented.