بازگشت چپ

در زبان رسمی صوری در علوم کامپیوتر بازگشت چپ یک نوع بازگشت ویژه است.
A یک غیر پایانهٔ بازگشتی چپ است
α {\displaystyle \alpha }   دنباله ای از پایانه ها و غیرپایانه هایی است که null نیستند. ( α ≠ ϵ {\displaystyle \alpha \neq \epsilon }  )
β {\displaystyle \beta }   دنباله ای از پایانه ها و غیرپایانه هایی است که با A شروع نمی شوند.
در گرامرهای مستقل از متن. غیرپایانهٔ r بازگشتی چپ است اگر چپ ترین نشانه در همهٔ تولیدات r به صورت بی درنگ (مستقیم / بازگشتی چپ بی درنگ )جایگزین شود یا غیرترمینالهای دیگر به صورت غیر مستقیم r را دوباره تولید کند.(غیر مستقیم / پنهان سمت چپ بازگشتی) .
یک گرامر بازگشتی چپ است اگر بتوانیم یک غیرپایانه مانند A پیدا کنیم که در نهایت بتوان یک فرم جمله ای استخراج کرد که A در آن چپ ترین نماد باشد.
بازگشتی چپ بی درنگ در قوانین به صورت زیر است: