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