عرض مصطلح معلوماتية
صيغة Backus-Naur | Backus-Naur form
مختصره: BNF. لغة مترفِّعة metalanguage تُستخدَم في تعريف التركيب النحوي للغات الصورية formal، لكلٍّ من مستخدِم اللغة ومطوِّرِها. فاللغةُ تُعرَّف بمجموعة عبارات، يُعْرَفُ كلُّ عنصرِ لغةٍ في كلٍّ منها بأنه متغيِّرٌ مترفِّع metavariable يُكتبُ بين حاضِنَتَيْن "<>"، وتُستخدم في تعريفِه رموزٌ فعلية (تُسمّى المطاريف) ومتغيِّراتٌ مترفِّعة أخرى (منها المتغير نفسه عند الحاجة).
