An NFA is a finite state machine where, for a particular state and input symbol, the machine can transition to zero, one or multiple next states. It is defined by five components.