बाक्कस-नार प्रारूप

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

बाहरी कड़ियाँ 
 Backus Normal Form vs. Backus-Naur Form explains some of the history of the two names.
 BNF and EBNF: What are they and how do they work? by Lars Marius Garshol.
 RFC 4234 Augmented BNF for Syntax Specifications: ABNF.
 RFC 5511 Routing BNF: A Syntax Used in Various Protocol Specifications.
 Comparision of different variants of BNF
 Syntax diagram of EBNF
 Generation of syntax diagrams from EBNF
 ISO/IEC 14977:1996(E) Information technology - Syntactic metalanguage - Extended BNF, available from ISO or from Marcus Kuhn (the latter is missing the cover page, but is otherwise much cleaner)

भाषाओं के व्याकरण 
 Algol-60 BNF, the original BNF.
 BNF grammars for SQL-92, SQL-99 and SQL-2003, Freely available BNF grammars for SQL.
 BNF Web Club, Freely available BNF grammars for SQL, Ada, Java.
 BNF Examples and Full Programming Languages, Freely available BNF grammars for programming languages (C, Java, JavaScript, C#, VB.NET, SQL-89), Academic Languages, File Formats (HTML, XML, CSS) and others (Regular Expressions, YACC)। These are written in the GOLD Meta-Language, consisting of BNF and Regular Expressions.
 Free Programming Language Grammars for Compiler Construction, Freely available BNF/EBNF grammars for C/C++, Pascal, COBOL, Ada 95, PL/I.

कम्पाइलर सिद्धान्त