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

Nessun cambiamento nella dimensione ,  11 anni fa
m
→‎Definizione formale: corretto errore di battitura
m (→‎Definizione formale: corretto errore di battitura)
* un insieme di stati ''A'' di accettazione (''A'' ⊆ ''S'')
 
Dato l'automa a stati finiti non deterministico '''M''' tale che '''M''' = (''S'', &Sigma;, ''T'', ''s<sub>0</sub>'', ''A''), e ''X'' è una [[Stringa (formale)|stringa]] dell'alfabeto &Sigma;. '''M''' accetta le stringhe ''X'' se esiste un rappresentazione di ''X'' nella forma ''x<sub>1</sub>x<sub>2</sub> ... x<sub>n</sub>'', (''x<sub>i</sub>'' &isin; &Sigma;),
e una sequenza di stati ''r<sub>0</sub>,r<sub>1</sub>, ..., r<sub>n</sub>'', ''r<sub>i</sub>'' &isin; ''S'', concordate a queste definizioni:
# ''r<sub>0</sub>'' = ''s<sub>0</sub>''
320

contributi