forma canonica degli NFA

Un automa non deterministico a stati finiti (NFA) si dice canonico se:

• Lo stato iniziale ha solo archi uscenti.
• Lo stato finale ha solo archi entranti.
• Esiste un arco per ogni coppia di stati, quindi $\exists i,j⟹\exists (i,j)\wedge \exists (j,i)$ (è un grafo non orientato).