ліворекурсивність

Властивість формальної граматики, при якій нетермінальний символ може бути виведений із послідовності, що починається з цього самого символу (наприклад, A → Aα).