Discussione:Automa a stati finiti non deterministico

Automi non deterministici con epsilon-transizioni

Mi risulta che automi non deterministici ed automi non deterministici con epsilon transizioni non siano la stessa cosa. Io ridefinirei il dominio della funzione di transizione ed inserirei un paragrafo specifico per gli automi non deterministici con epsilon-transizioni. --Luca 12:29, 29 feb 2008 (CET)

Ho modificato la voce come detto prima, in caso non andasse bene riportate alla versione precedente. Ad ogni modo mi pare che anche nella versione inglese ci sia questa distinzione che mi pare sia la stessa espressa nel Hopcroft-Motwani-Ullman. --Luca 18:43, 29 feb 2008 (CET)

Modifiche salienti

dato che un oggetto non basta a definire cosa ho modificato nella voce, lo riassumo qui:

• ho reso più simile alla voce sui DFA la definizione formale
• ho modificato la situazione di accettazione. nella versione precedente diceva che ogni stato $r_{i}$ era il risultato della transizione precedente, mentre ciò è falso (dato che è un NFA la transizione può portare in più stati distinti)
• ho modificato anche lo stato di accettazione (dato che non deve essere solo $r_{n}$ d'accettazione e reso coerente il testo seguente
• ho spostato le epsilon-transizioni prima dell'esempio dato che vengono utilizzate nell'esempio stesso

--valepert 18:09, 4 giu 2011 (CEST)