¿Cómo demuestro que si un PDA acepta alguna cadena
¿Cómo demuestro que el problema de decidir si un PDA acepta alguna cadena de la forma es indecidible?{w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} He tratado de reducir este problema a otro indecidible, como si dos gramáticas libres de contexto aceptan el mismo lenguaje. Sin...