[Introduzione alla teoria della computazione] Esercizio 1.3

[FeddyLix17]

La descrizione formale di un $\Large DFA\ M$ è $\Large \left(\{q_1,\ q_2,\ q_3,\ q_4,\ q_5\},\ \{u,\ d\},\ \delta,\ q_3,\ \{q_3\}\right)$, dove $\Large \delta$ è data dalla tabella seguente.

	$\Large u$	$\Large d$
$\Large q_1$	$\Large q_1$	$\Large q_2$
$\Large q_2$	$\Large q_1$	$\Large q_3$
$\Large q_3$	$\Large q_2$	$\Large q_4$
$\Large q_4$	$\Large q_3$	$\Large q_5$
$\Large q_5$	$\Large q_4$	$\Large q_5$

Dare il diagramma di stato di questa macchina.