0
6.6kviews
Design a NFA for a binary number where the first and the last digit is the same
1 Answer
| written 6.6 years ago by | modified 6.6 years ago by |
NFA is formally defined as :
M = (Q, $\epsilon, \delta$, $q_0$, f) . where
Q : finite set of states.
$\epsilon$ : finite set of input symbols.
$\delta$ : Transition function.
$q_0$ : initial state.
F : finite set of final states.

State Transition Table -
| - | 0 | 1 |
|---|---|---|
| $\rightarrow$ $q_0$ | $q_1$ | $q_3$ |
| $q_1$ | $q_2$ | $\phi$ |
| $*q_2$ | $\phi$ | $\phi$ |
| $q_3$ | $\phi$ | $q_4$ |
| $*q_4$ | $\phi$ | $\phi$ |