Язык является праворекурсивным, если:


1. нетерминальный символ из его левой части встречается в последней позиции хотя бы одной правой части продукции данной грамматики


2. он содержит бесконечное число продукций


3. нетерминальный символ из его левой части встречается где-либо в правых частях продукций данной грамматики


4. нетерминальный символ из его левой части встречается в первой позиции хотя бы одной правой части продукции данной грамматики