बाक्कस-नार प्रारूप
संगणक विज्ञान में बाक्कस-नार प्रारूप (Backus–Naur Form या BNF) फॉर्मल भाषाओं (जैसे कम्प्यूटर भाषाएँ) के सिन्टैक्स को निरुपित करने की पद्धति है। इसे जॉन बैक्कस एवं पीटर नौर ने विकसित किया था। ध्यातव्य है कि यह प्रारूप पाणिनि के व्याकरण निरूपण की पद्धति से बहुत कुछ मेल खाता है। पाणिनि के अष्टाध्यायी में 'रिकर्शन', ट्रान्सफॉर्मेशन, 'मेटारुल्स' एवं अन्य प्रकार की आधुनिक एवं उन्नत फॉर्मल तकनीकों का प्रयोग हुआ है।