Как можно показать, что никакой LL (1) грамматика не может быть неоднозначным?
Я знаю то, что является неоднозначной грамматикой, но не могло доказать вышеупомянутую теорему/лемму.
Я думаю, что это почти прямой результат определения LL (1). Попробуйте доказательство от противного; Предположим, что у вас есть двусмысленная грамматика LL (1), и ищите что-то, что вы можете показать как истинное, а не истинное. В качестве отправной точки «что вы всегда знаете, когда обрабатываете ввод?»
Поскольку это похоже на домашнее задание, и я на самом деле не закончил задачу больше, чем я набросал выше, я остановлюсь на этом.