Es bien sabido que el problema de equivalencia es indecidible para los lenguajes generales sin contexto. Sin embargo, todas las pruebas de este hecho que conozco parecen involucrar algunas gramáticas ambiguas sin contexto. Por esta razón, me gustaría preguntar si se sabe si el problema sigue siendo indecidible mientras se restringe a lenguajes sin contexto inequívocos . Es decir, dadas dos gramáticas libres de contexto que, a priori, se consideran inequívocas, ¿es decidible si son equivalentes o no?
Este problema me parece un poco intrigante, ya que se sabe que la equivalencia es decidible para lenguajes deterministas sin contexto, aunque este resultado está lejos de ser trivial ... Por otro lado, podría haber alguna razón simple para la indecidibilidad de que he sido con vista a.