Это широко известный факт, что любая грамматика LL (1) также является LR (1), но я не могу найти строгое доказательство этого где-либо. Я слышал некоторые обзоры высокого уровня доказательства (например, что поскольку грамматика LL (1) определяет свою продукцию по одному токену за раз, в то время как грамматика LR (1) может сканировать гораздо больше входных данных до принятия решения) сделан). Однако после ознакомления с двумя учебниками по компиляторам и парсинга и быстрого поиска в Google я не могу найти более формальное доказательство этого факта.
Кто-нибудь знает это доказательство или хотя бы где его найти?