Según este gráfico , los DCFL se cierran por reversión.
Sin embargo, no estoy convencido de que la prueba intuitiva (que invierte las flechas de la máquina de estados finitos de control y cambie los empujes y estallidos) para esto parece depender del no determinismo en la elección de la transición nula para tomar desde el estado inicial (ya que El nuevo estado inicial contendría una transición nula a todos los estados finales antiguos).
Esto haría que el "PDA inverso" de un DPDA no sea determinista siempre que haya más de un estado final en el DPDA original.
¿Cuál es la falacia en mi argumento? ¿O hay otra manera de probar esto?