Epsilon Transitions
An epsilon transition (or ε-move) is a special kind of transition in a Finite Automaton that consumes no input symbol. This means the automaton can move from one state to another “for free,” without reading a character from the input string.
Formally, in an NFA, the transition relation is:
where represents the empty string.