É sabido que o problema da equivalência é indecidível para linguagens gerais livres de contexto. No entanto, todas as provas desse fato que tenho conhecimento parecem envolver algumas gramáticas ambíguas e livres de contexto. Por esse motivo, gostaria de perguntar se é sabido se o problema permanece indecidível enquanto se restringe a linguagens inequívocas sem contexto. Ou seja, dadas duas gramáticas sem contexto que são concedidas a priori como inequívocas, é possível decidir se são equivalentes ou não?
Acho esse problema um pouco intrigante, uma vez que se sabe que a equivalência é decidível para linguagens deterministas livres de contexto, embora esse resultado esteja longe de ser trivial ... Por outro lado, pode haver algum motivo simples de indecidibilidade que eu tenho sido. negligenciar.