Занимаюсь изучением методов трансляции и немогу понять вот что.
Встретил в методичке Волков, Руденко (ссылку потерял) утверждение:
"При FIRST(A) объединение FOLLOW(A) не равно Пустое множнство
метод рекурсивного спуска не применим"

Возникли два вопроса:

1. Можно ли утверждать что
Метод рекурсивного спуска применим тогда и только тогда, когда
При FIRST(A) объединение FOLLOW(A) равно Пустое множнство ?
2. Как это доказать (есть в электронном виде Red Dragon + Какая-то книга по теории Ахо и Ульмана, но в них подобного рода теорем не видел)?