Sigla di Backus-Naur Form, primo esempio di metalinguaggio utilizzato in informatica per descrivere in modo rigoroso la sintassi di un linguaggio formale, in particolare di un linguaggio di programmazione; consente di specificare in più passi quali sequenze di simboli sono accettabili nel linguaggio che si vuole definire (nel caso che questo sia un linguaggio di programmazione, le sequenze accettabili corrispondono ai programmi sintatticamente corretti).