خود لم تزریق برای زبان های منظم :

برای هر زبان منظم نامتناهی عدد m ای وجود دارد که هر رشته با طول بزرگتر مساوی m را می توان به صورت xyz تجزیه کرد که به ازای هر i رشته ی [tex]xv^iy[/tex] عضو زبان باشد

عکس نقیض لم تزریق زبان های منظم:
اگر در زبانی نامتناهی رشته ای با طول بزرگتر مساوی m وجود داشت که به ازای هر نوع تجزیه ی xyz بتوان i ای پیدا کرد که [tex]xv^iy[/tex] عضو زبان نباشد، پس زبان منظم نیست


لم تزریق زبان های مستقل از متن:
برای هر زبان مستقل از متن نامتناهی m ای وجود دارد که هر رشته ی بزرگتر مساوی m را م ی توان به فرم uvxyz ای تجزیه کرد که به ازای هر i رشته ی [tex]uv^ixy^iz[/tex] عضو زبان باشد


عکس نقیض لم تزریق مستقل از متن:
اگر در زبانی نامتناهی رشته ای با طول بزرگتر مساوی m وجود داشت که به ازای هر نوع تجزیه ی uvxyz بتوان i ای پیدا کرد که [tex]uv^ixy^iz[/tex] عضو زبان نباشد، پس زبان مستقل از متن نیست


اگه بگه کدامیک از عبارت های زیر درسته هم لم های تزریق هم عکس نقیضشان عبارت های درستی هستند
ااگه بگه از کدوم برای اثبات نامنظم بودن استفاده می شه از عکس نقیض لم تزریق منظم و عکس نقیض لم تزریق مستقل از متن برای اثبات نامنظم بودن استفاده می شه