Buongiorno, probabilmente non sono nella sezione giusta ma non so dove si possano inserire le domande di informatica teorica. Ho un dubbio quando devo stabilire se un dfa e' minilale. Io utilizzo il metodo del riempi-tabella, e fin qui tutto bene. Il problema sorge quando ho piu' di uno stato accettante, in quel caso i due stati accettanti sono equivalenti o no? perche' per la definizione ho che due stati sono distinguibili quando dopo aver letto una sequenza uno va in uno stato accettante e l'altro no
Moderatore: Seneca
Sposto questo thread in Informatica.