در علوم رایانه یا ( یا ) یکی از روش‌های بیان قواعد است که برای ارائه شده‌است. اغلب از آن به عنوان دستور زبان در مورد استفاده قرار می‌گیرد؛ از این میان می‌توان به ، قالب اسناد، دستورزبان دستورات و ارتباطی نام برد. روی دیگر برای نوشتن در گرامرهای مستقل از متن گرامر است. این دو گرامر را زمانی به کار می‌برند که توصیفات دقیق از زبان لازم است. برای نمونه در زبان رسمیِ تعیین نیامندی‌ها، در راهنماها و در کتب آموزش زبان‌های برنامه‌سازی. بسیاری از توسعه‌های بر روی فرم اصلی صورت گرفته‌است. برخی از آن‌ها به صورت کامل تعریف شده‌اند: فرم گسترش یافته بکوس-نائور و فرم تکمیل‌شده بکوس-نائور .
 در ماه مهٔ سال یک کمیتهٔ بین‌الملی متشکل از دانشمندانی از بخش‌های تجاری و دانشگاهی در تشکیل شد. هدف آنها، توسعهٔ زبان فرتن و دستیابی به یک زبان واحد و استاندارد برای برنامه سازی بود. این زبان بعدها به نام معروف شد.
الگول دو مزیت عمده نسبت به داشت. اول اینکه در زبان جدید مفهوم متغیرهای محلی به وجود آمده بود و در حالی که در فورترن تنها نام‌گذاری سراسری مجاز بود. امکان استفاده از متغیرهای محلی علاوه بر سهولت بیشتر، امکان به‌کارگیری شکلی از برنامه‌سازی را که بعدها توسط معرفی شد و به بازگشت‌پذیری معروف گردید نیز فراهم ساخت.
 (سرپرست طراحی زبان فورترن) ایده‌های به کار رفته در الگول را پسندید ولی از نحوهٔ بیان آن خوشش نیامد. او می‌گوید:
 برای حل این مشکل، باکوس را که به تازگی توسط زبانشناس معروف اختراع شده بود، به‌کار گرفت. کار چامسکی هم به نوبهٰ خود ریشه در کارهای نظری دربارهٔ بازنویسی گرامرهای داشت.
باکوس به دلیل مشغلهٔ زیاد در ژوئن سال نتوانست مقاله‌اش را به کنفرانس که در پیرامون زبان الگول برگزار می‌شد بفرستد، اما دست‌نوشته‌های او بین برخی از شرکت کنندگان توزیع شد. ریاضیدان دانمارکی که در آن کنفرانس حضور داشت، مقالهٔ باکوس را خواند و علائم بکار رفته توسط باکوس را اصلاح کرد و از آن‌ها برای تشریح زبان الگول استفاده نمود. به همین دلیل این فرم به نام هر دو آن‌ها یعنی جان باکوس و پیتر نائور نام‌گذاری شد.
 مشخصات فرم ف.ب. ن ، به صورت مجموعه‌ایی از قوانین مشتق‌شده‌است و به صورت زیر نوشته می‌شود
 که در آن < > است و است که شامل حداقل یک یا بیشتر از نمادهاست. در بخش بعدی که با علامت ، ، جدا شد، می‌توان دنباله‌های دیگری ذکر شود. نماد خطِ عمودی، بیانگر توانایی انتخاب است. انتخابی که از بین جایگزین‌هایِ نمادهایِ سمت چپ خط است. نمی‌توانند در سمت چپ قرار گیرند. به عبارت صریح‌تر، آنچه که در سمت چپ قرار می‌گیرد نمادی است.
 نمادِ '=::' بیانگر آن است که نمادِ سمت چپ باید با نمادِ انتخاب‌شده از سمت راست، جایگزین گردد.
 اعداد به صورت :
 بیان می‌شوند؛ که بیانگر عدد ۱ یا ۲ یا ۳ یا سایر اعداد غیرِ صفر است.
در صورتی که نیاز به ایجاد دنباله‌ایی از اعداد باشد می‌توان با فرم توضح داده شده آن را ایجاد نمود. به صورت:
 یک رقم (Digit)، می‌تواند صفر(۰) یا هر عددِ غیرِصفری (Non-Zero Digit) باشد. یک عددِ دورقمی، می‌تواند عددی باشد که با یک رقمِ غیرِ صفر آغاز شده و در ادامه هر رقمی، حتی صفر بیاید؛ و نیز یک عدد بین ۱۰ تا ۱۹ به صورت دنباله‌ایی از عدد یک به همراه یک عدد است، صفر یا غیرِ صفر.
 تکرار در «ف.ب. ن» لازم است که از طرق امکان‌پذیر است. یک قانون مشتق‌شده از قوانین بالا، برای بیان یک رشته از اعداد به صورتِ:
 خواهد بود. یعنی یک دنبالهٔ عدد به صورتِ عدد (که ممکن است صفر یا غیرِ صفر باشد) یا اینکه یک عدد در ابتدایِ یک دنبالهٔ عددی بیاید. این دنباله اعدادی مانند ۱، ۹، ۱۰۰، ۱۹۲۳، ۰۰۱۲، .... را می‌سازد. از آنجا که اعداد مثبت با صفر آغاز نمی‌شوند، به قانونِ بهتری نیاز است.
 قانونِ زیر به شکل درستی اعداد مثبت را ایجاد می‌نماید
 قواعدِ زبان‌هایی مانند ، ، در فرم بکوس‌نائور ارائه شده‌اند. مانند IF و Switch به عنوان پایانه تعریف شده‌اند. کامپایلر در تحلیل لغوی اول، این کلمات کلیدی را شناسایی می‌نماید و به عنوان نمادهایِ خاص، نشان‌گذاری می‌نماید. همچنین توضحیاتِ موجود در کد نیز شناسایی و خذف می‌شوند. اعداد اعشاری، متغیرهای، شناسه‌های و رشته‌های از عناصرِ دیگری هستند نیز در متن شناسایی می‌شوند.
 این فرم، این امکان را فراهم می‌آورد تا عبارتِ زیر در زبان برنامه‌سازی پاسکال قابل بیان باشد.
 انواع مختقلی برای ف.ب. ن ارائه شده‌اند. هریک به دلیل عدم وجود سادگی و نیز عدم موجز بودن ارائه شده‌اند. برخی نیز به دلیل تطابق با برنامه خاصی مطرح شده‌اند. یک ویژگی مشتریک بین انواع مختلف، استفاده از نمادهای مانند یا است. یکی از رایج‌ترینِ این انواع است. در واقع مثال بالا به‌طور دقیق و خالص بکوس-نائوری نیست که برای زبان طراحی شده. استفاده از براکت «[ ]» چند سال بعد از ارائه نسخه اصلی و در متلق به معرفی شده ولی امروزه از آن در ب.ن. ف استفاده می‌شود. « » و آربی‌ان‌اف سایر اضافاتی است که در گزارش‌هایی ارائه شده توسط مورد استفاده قرار می‌گیرد.
 بر روی ب.ن. ف ساخته شده و از روش‌های پیروی می‌کند تا جایگزینی برای کلاسِ باشد؛ که خود به جای آنکه باشد یک است. بسیاری از مشخصات ب.ن. ف امروزه در نوشتارهای انسانی که به صورت غیرِرسمی است قابل مشاده است. از این میان می‌توان به برخی اشاره نمود:
{"title": "فرم باکوس نائور", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%81%D8%B1%D9%85_%D8%A8%D8%A7%DA%A9%D9%88%D8%B3_%D9%86%D8%A7%D8%A6%D9%88%D8%B1&oldid=34433678", "language": "fa"}