베커스 - 나우어 형식. 프로그래밍 언어의 구문을 표기하는 형식이다.
<이름> ::= <표현식>
표현식은 단말 표현식과 비단말 표현식이 있다.
단말 표현식은 0, 1과 같이 더 유도할 수 없는 표현식이며
비단말 표현식은 <digic> <character>같은 표현식이다
가령 16진수를 나타내면 아래와 같다
<digit> ::= "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9"
<letter> ::= "A" | "B" | "C" | "D" | "E" | "F"
<number> ::= <digit> | <letter>
<integer> ::= <number> | <number><integer>
여기서 | 는 또는을 의미한다.