Noun
Backus-Naur form (countable and uncountable, plural Backus-Naur forms) (computing) A formal notation for context-free grammars. [From 1964.]