Dado un PDA M tal que L (M) está en DCFL, construya un DPDA N tal que L (N) = L (M)

¿Es posible construir un algoritmo que tome como entrada un autómata pushdown junto con la promesa de que el lenguaje aceptado por este autómata es un lenguaje determinista libre de contexto y genera un autómata determinista pushdown que acepta exactamente el lenguaje aceptado por ? $M$ $L(M)$ $N$ $M$

Un problema equivalente sería construir un algoritmo que toma como entrada un pushdown autómatas (con la promesa de que es determinista, como arriba) y una autómatas de pila determinista . La salida sería sí si y no si . $M$ $L(M)$ $N$ $L(M) = L(N)$ $L(M)\neq L(N)$

Creo que un algoritmo que resuelve el primero daría un algoritmo que resuelve el segundo por la capacidad de decidir la equivalencia de los autómatas de empuje determinista. Creo que una solución para el segundo implicaría una solución para el primero, ya que enumeramos todos los autómatas de pushdown deterministas y ejecutamos el algoritmo uno por uno, una vez que obtenemos una instancia de sí, sacamos ese autómata.

Me pregunto si alguien sabe algo sobre esto. ¿Quizás es un problema conocido y / o tiene una solución conocida? Por otro lado, creo que es decidible si introduces la restricción que dice que el lenguaje generado por el PDA es el problema verbal de un grupo.

— Sam Jones
fuente

El determinismo y la equivalencia son problemas indecidibles bien conocidos. Los encontrará en Hopcroft y Ullman (1979) , por ejemplo.

— Sylvain

Sí, son problemas indecidibles bien conocidos, pero no estoy preguntando si es posible decidir el determinismo. La equivalencia que pido es de un PDA que definitivamente acepta un lenguaje determinista y un DPDA. A menos que me haya perdido algo, no hay una razón obvia por la que eso sea indecidible, no puedo ver por qué debería derivarse de la indecidibilidad del problema de equivalencia para las PDA.

— Sam Jones

mal, leí tu publicación demasiado rápido. Pregunta interesante en realidad.

— Sylvain

$M$ $w$ $w$ $L$ $w$ $L = A^{\ast}$ $M$ $w$ $L = A^{\ast} - \{h\}$ $h$ $M$ $w$ $h$ $L$ $L$ $L$

Pequeña aclaración:

Usted preguntó si el siguiente problema es decidible:

$M$ $L(M)$ $N$ $L(M) = L(N)$

La respuesta es no, y de hecho se cumple el siguiente hecho más fuerte: El siguiente problema es indecidible:

$M$ $L(M)$ $L(M)=A^{\ast}$

— sdcvvc
fuente

A^{*}

$A^{*}$

w

$w$

A^{*}

$A^{\ast}$

M

$M$

w

$w$

L = A^{*}

$L=A^{*}$

L = A^{*} - {h}

$L=A^{*}-\{h\}$

M

$M$

w

$w$

M

$M$

w

$w$

M

$M$

OK lo tengo al fin.

— Sylvain