Sudah diketahui bahwa masalah kesetaraan tidak dapat diputuskan untuk bahasa bebas konteks umum. Namun, semua bukti dari fakta ini yang saya sadari tampaknya melibatkan beberapa tata bahasa bebas konteks yang ambigu. Untuk alasan ini, saya ingin bertanya apakah diketahui apakah masalahnya tetap tidak dapat diputuskan saat membatasi diri ke bahasa bebas konteks yang jelas . Yaitu, mengingat dua tata bahasa bebas konteks yang apriori diberikan untuk tidak ambigu, apakah dapat diputuskan apakah mereka setara atau tidak?
Saya menemukan masalah ini sedikit menarik, karena diketahui bahwa kesetaraan dapat ditentukan untuk bahasa bebas konteks deterministik , meskipun hasil ini masih jauh dari sepele ... Di sisi lain, mungkin ada beberapa alasan sederhana untuk keraguan yang telah saya tentukan. menghadap.