No, il tuo automa finito deterministico non è corretto. La tua espressione regolare è.

Il problema nel tuo DFA è la dichiarazione di 5 e 6 come nodi terminali. Un banco di prova come "0". sarà accettato dal tuo DFA anche se non dovrebbe.

Valori facoltativi

Voglio sottolineare come è possibile modellare una struttura generale che include valori opzionali. Prendiamo ad esempio un'espressione regolare come "a? B". L'idea ora è creare due rami. Uno include l'elemento opzionale "a" e l'altro lo esclude. Il ramo di inclusione si fonde con l'altro con il primo valore che è obbligatorio di nuovo.

Unaopiùvolte

Comesecondaidea:comemodelliamoquantitàcome"una o più volte"? Dobbiamo creare un vantaggio che richiede di leggere il simbolo "a" una volta sola. Dopodiché creiamo un self-loop che legge il simbolo tutte le volte necessarie (possibilmente zero).

Applicandoquesteideealtuoautomafinitodeterministico,otteniamoquantosegue:

Automazioni finite non deterministiche

Un automa diventa non deterministico se ci sono due bordi con la stessa etichetta che inizia dallo stesso vertice. Nell'esempio seguente, iniziando con il vertice "4" e leggendo l'input "0", non si saprà quale percorso accetterà la stringa di input (a sinistra o in basso) e procederà in modo non deterministico.