در و نظریه ، یک را در (به : ) می‌گویند اگر سمت راست تمام قواعد تولید آن با یک شروع شود و به طور اختیاری با بعضی متغیرها دنبال شود. یک فرم نادقیق، یک استثناء در این محدودیت قالب را می‌پذیرد و به (اپسیلون، ε) اجازه می‌دهد تا یک عضو از زبان توصیف شده باشد. این فرم نرمال توسط بنا نهاده شد و نام او را بر آن نهادند.
به طور دقیقتر، یک در یک فرم نرمال گریباخ می‌باشد اگر، تمام قواعد تولید آن به فرم زیر باشند:
 
 
 یا
 
 
 که یک نماد غیرپایانی، یک نماد پایانی و 
یک دنباله (احتمالاً تهی) از نمادهای غیر پایانی است که شامل نماد غیر پایانی شروع نیست، نماد غیر پایانی شروع و رشته تهی است.
 این گرامر ندارد.
 هر قابل تبدیل به یک گرامر معادل در فرم نرمال گریباخ می‌باشد. ساختارهای متنوعی موجود است. بعضی از این ساختارها فرم دوم قانون را مجاز نمی‌کنند و نمی‌توان که می‌توانند رشته تهی تولید کنند را تبدیل کرد. برای چنین ساختاری، اندازهٔ گرامر ساخته شده در حالت کلی برابر با است و اگر هیچ اشتقاقی از زبان اصلی شامل یک کاراکتر غیر پایانی تنها نباشد برابر است، که اندازهٔ گرامر اصلی است. این تبدیل می‌تواند مورد استفاده قرار گیرد تا ثابت کند که هر را می‌توان به وسیلهٔ یک غیر قطعی پذیرفت.
 اگر یک گرامر در فرم نرمال گریباخ و یک رشتهٔ مشتق پذیر با طول در این گرامر داده شده باشد، هر در عمق متوقف خواهد شد.
{"title": "فرم نرمال گریباخ", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%81%D8%B1%D9%85_%D9%86%D8%B1%D9%85%D8%A7%D9%84_%DA%AF%D8%B1%DB%8C%D8%A8%D8%A7%D8%AE&oldid=31895889", "language": "fa"}