Backus Naur نماد یک راه رسمی برای توصیف یک زبان که توسط “John Backus”  در اواخر دهه ۱۹۵۰ و توسط  “Pitter Naur” توسعه داده شد. برای توصیف الگول ۶۰ زبان برنامه نویسی است. تقریباً در همان زمان،گرامر مستقل از متن توسط “نوآم چامسکی” برای تعریف نحو زبانهای طبیعی ارایه شد که مشابه گرامر BNF بود.تنها تفاوتشان در نشانه گذاریها است.

برای رفع ابهام در یک زبان،BNF آن را ابهام زدایی میکنیم.

فایل زیر شامل توضیحات کامل از BNF را شامل میشود:

BNF-State Transition For Pascal

در لینک زیر می توانید نمونه ای از این فرم در زبان پاسکال را بررسی نمایید:

http://condor.depaul.edu/ichu/csc447/notes/wk2/pascal.html