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