L'uguaglianza di due DFA è un problema determinabile?

11

Quindi, dati due DFA, il problema di scoprire se generano la stessa lingua è un problema Decidibile?

So già che l'uguaglianza di due CFL non è accettabile

ma per quanto riguarda l'uguaglianza di due DFA? considerando che la maggior parte dei problemi con i DFA sono decidibili, anche questo è decidibile?

— Richard Jones
fonte

1

Sì, è decidibile in tempo lineare drona.csa.iisc.ernet.in/~deepakd/atc-common/…

— abc,

1

Benvenuti in Informatica! Che cosa hai provato? Dove ti sei bloccato? Non vogliamo offrirti solo la soluzione; vogliamo che tu capisca. Tuttavia, poiché non sappiamo quale sia il tuo problema di fondo, quindi non possiamo iniziare ad aiutarti. Vedi qui per suggerimenti su come porre domande sui problemi di esercizio. Se non sei sicuro di come migliorare la tua domanda, perché non chiedere in giro in Computer Science Chat ?

— Raffaello

22

$A_1,A_2$ $A_\Delta$ $L(A_1) \Delta L(A_2) := (L(A_1) \setminus L(A_2)) \cup (L(A_2) \setminus L(A_1))$ $L(A_\Delta) = \emptyset$

$A_\Delta$ $(F_1 \times \overline{F_2}) \cup (\overline{F_1} \times F_2)$

$L(A_\Delta)$

— Yuval Filmus
fonte

3

$D_1$ $D_2$ $D_1$ $D_2$ $D_1$ $D_2$

$D_1$ $D_2$

— fade2black
fonte

1

Credo che tu stia confondendo l '"equivalenza" dei DFA e la loro uguaglianza.

— einpoklum,

@einpoklum sì, uso il termine "uguaglianza" come sinonimo di "equivalenza" perché l'OP usa il termine "uguaglianza".

— fade2black,

2

I due non sono uguali, però. Anche dopo la minimizzazione, gli automi non sono uguali . Sappiamo però che sono isomorfi, il che è certamente decidibile (se potenzialmente più difficile dell'uguaglianza).

— Raffaello