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

→‎Esempio: box immagine
(→‎Esempio: ripristino regex precedente)
(→‎Esempio: box immagine)
|}
 
[[File:NFAexample.svg|thumb|right|400px|Automa a stati finiti dell'esempio]]
Il [[diagramma di stato]] di <math>A</math> è il seguente:
 
[[File:NFAexample.svg|500px|Diagramma di stato dell'ε-NFA precedente]]
 
È inoltre importante far notare che <math>A</math> può essere ricavato dall'[[unione (insiemistica)|unione]] di due [[automa a stati finiti deterministico|automi a stati finiti deterministici]] i cui stati sono rispettivamente <math>\left \{ S_1, S_2 \right \}</math> e <math>\left \{ S_3, S_4 \right \}</math>. Il [[linguaggio regolare]] riconosciuto dall'automa è inoltre esprimibile tramite l'[[espressione regolare]]
9 724

contributi