Правила сдерживания являются следующие:
- Каждый LR (0) грамматика также SLR (1), но не все SLR (1) грамматики LR (0).
- Каждая грамматика SLR (1) также является LALR (1), но не все грамматики LALR (1) являются SLR (1).
- Каждая грамматика LALR (1) также является LR (1), но не все грамматики LR (1) являются LALR (1).
- Каждая грамматика LL (1) также является LR (1), но не все грамматики LR (1) являются LL (1).
- Каждая грамматика LL (0) также является LR (0), SLR (1), LALR (1), LR (1) и LL (1). (LL (0) грамматики в основном бесполезны, see this question for details why).
Это также случай, когда на каждом языке, который имеет грамматику LR (1), также имеется грамматика LR (0), при условии, что вы заканчиваете грамматику, хотя грамматика не гарантируется.
См. Этот ответ на сайте CompSci SE (на котором должен был быть задан этот вопрос, за исключением того, что он был бы помечен как дубликат): http://cs.stackexchange.com/a/48/4416 – rici
Я голосую, чтобы закрыть этот вопрос как не по теме, потому что он уже ответил на http://cs.stackexchange.com/ – rici
Я голосую, чтобы закрыть этот вопрос как вне темы, потому что он уже ответил на http://cs.stackexchange.com и потому, что он запрашивает хорошо документированный результат в теории парсинга. – EJP