Dobrze wiadomo, że problem równoważności jest nierozstrzygalny dla ogólnych języków bezkontekstowych. Jednak wszystkie dowody tego faktu, o których jestem świadomy, wydają się obejmować pewne niejednoznaczne gramatyki bezkontekstowe. Z tego powodu chciałbym zapytać, czy wiadomo, czy problem pozostaje nierozstrzygalny, ograniczając się do jednoznacznych języków bezkontekstowych. To znaczy, biorąc pod uwagę dwie bezkontekstowe gramatyki, które z góry są jednoznaczne, czy można rozstrzygnąć, czy są one równoważne, czy nie?
Uważam ten problem za nieco intrygujący, ponieważ wiadomo, że równoważność jest rozstrzygalna w przypadku deterministycznych języków bezkontekstowych, chociaż wynik ten nie jest trywialny ... Z drugiej strony, może istnieć prosty powód nierozstrzygalności, że byłem niewidzenie.