The following pages link to Backus–Naur form
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- PL/M (links | edit)
- Linear logic (links | edit)
- Calculus of constructions (links | edit)
- Venpa (links | edit)
- Vertical bar (links | edit)
- ALGOL 60 (links | edit)
- List of eponyms (A–K) (links | edit)
- IMP (programming language) (links | edit)
- Categorial grammar (links | edit)
- History of programming languages (links | edit)
- Lithe (links | edit)
- Statement (computer science) (links | edit)
- Backus Naur form (redirect page) (links | edit)
- Backus Naur Form (redirect page) (links | edit)
- Kuroda normal form (links | edit)
- Van Wijngaarden grammar (links | edit)
- List of acronyms: B (links | edit)
- Indian mathematics (links | edit)
- Simply typed lambda calculus (links | edit)
- Speech Recognition Grammar Specification (links | edit)
- Binary combinatory logic (links | edit)
- History of Patna (links | edit)
- Data-driven programming (links | edit)
- Syntax (programming languages) (links | edit)
- List of pioneers in computer science (links | edit)
- Definite clause grammar (links | edit)
- BNR (links | edit)
- Panini–Backus form (redirect page) (links | edit)
- Feed URI scheme (links | edit)
- Boyce–Codd normal form (links | edit)
- Comparison of parser generators (links | edit)
- Recursion (computer science) (links | edit)
- Data transformation (computing) (links | edit)
- Bird–Meertens formalism (links | edit)
- Backus-Naur form (redirect page) (links | edit)
- C (programming language) (links | edit)
- EDIF (links | edit)
- First-order logic (links | edit)
- Forth (programming language) (links | edit)
- Yacc (links | edit)
- Verilog (links | edit)
- List of Danes (links | edit)
- Interpreter pattern (links | edit)
- Outline of software engineering (links | edit)
- Control Language (links | edit)
- List of formal language and literal string topics (links | edit)
- Terminal value (links | edit)
- Propositional formula (links | edit)
- Truncate (SQL) (links | edit)
- List of pioneers in computer science (links | edit)
- Grammatical evolution (links | edit)
- Iota and Jot (links | edit)
- List of Indian inventions and discoveries (links | edit)
- Inversion (linguistics) (links | edit)
- Equivalence (formal languages) (links | edit)
- Talk:Formal grammar (links | edit)
- Talk:Forth (programming language) (links | edit)
- Talk:Panini/Archive 1 (links | edit)
- Talk:Asterisk (PBX) (links | edit)
- Talk:Border Gateway Protocol/Archive 1 (links | edit)
- Talk:Wire spring relay (links | edit)
- Talk:McCarthy Formalism (links | edit)
- Talk:Formal grammar/to do (links | edit)
- Talk:Introduction to entropy/Archive 1 (links | edit)
- User:Pengo/comp (links | edit)
- User:LinkLink~enwiki (links | edit)
- User:Sarang007/sandbox (links | edit)
- User:Nikhitasreedhar/sandbox (links | edit)
- User:Dhanya ravi pt/sandbox (links | edit)
- User:Nambiarsur/sandbox (links | edit)
- User:The alchemist prince/sandbox (links | edit)
- User:Kreyren/Clang (links | edit)
- User:DigitalIceAge/Computer Desktop Encyclopedia 2005–2007 (links | edit)
- User:DigitalIceAge/Computer Desktop Encyclopedia 1996 (links | edit)
- User talk:Anusree Sajeevan/sandbox (links | edit)
- Misplaced Pages:What Google liked (links | edit)
- Misplaced Pages:Reference desk/Archives/Computing/2006 November 9 (links | edit)
- Misplaced Pages:Reference desk/Archives/Mathematics/2010 January 27 (links | edit)
- Misplaced Pages:Reference desk/Archives/Computing/2010 September 2 (links | edit)
- Misplaced Pages:Reference desk/Archives/Mathematics/2013 March 24 (links | edit)
- Misplaced Pages talk:WikiProject Physics/Archive November 2020 (links | edit)
- Panini-Backus form (redirect page) (links | edit)
- Panini–Backus Form (redirect page) (links | edit)
- Panini-Backus Form (redirect page) (links | edit)
- Pāṇini (links | edit)
- Grammatical evolution (links | edit)
- Flow-based programming (links | edit)
- A-normal form (links | edit)
- Terminal and nonterminal symbols (links | edit)
- BNF grammar (redirect page) (links | edit)
- Natural deduction (links | edit)
- Calculus of communicating systems (links | edit)
- Π-calculus (links | edit)
- XPL (links | edit)
- Datalog (links | edit)
- PEPA (links | edit)
- Hennessy–Milner logic (links | edit)
- Dynamic epistemic logic (links | edit)
- Syntax and semantics of logic programming (links | edit)
- Talk:Java syntax (links | edit)
- User:Guillaume.Aucher/sandbox (links | edit)
- Misplaced Pages:Reference desk/Archives/Computing/2007 February 23 (links | edit)
- Page Interchange Language (links | edit)
- JSGF (links | edit)
- GOLD (parser) (links | edit)
- Wirth syntax notation (links | edit)
- Aṣṭādhyāyī (links | edit)
- List of people from Delaware (links | edit)