Differenze tra le versioni di "Automa a stati finiti non deterministico"

img svg
(img svg)
Il [[diagramma di stato]] per ''M'' è:
 
:[[Immagine:NFAexample.pngsvg]]
 
''M'' può essere visto come l'unione di due [[automa a stati finiti deterministico|automi a stati finiti deterministico]]: uno con gli stati{''S''<sub>2</sub>, ''S''<sub>1</sub>} e l'altro con gli stati {''S''<sub>3</sub>, ''S''<sub>4</sub>}.