BNF 는 일반적으로 바코스 패러다임을 가리킨다. 바코스 패러다임은 미국인 바코스 (Backus) 와 덴마크인 노어 (Naur) 의 이름을 딴 형식화된 문법 표현으로 문법의 한 형식 체계를 묘사하는 전형적인 메타언어다. 바코스 노어 형식 (Backus-Naur form) 이라고도 합니다.
그것은 문법 규칙을 엄격하게 표현할 수 있을 뿐만 아니라, 설명되는 문법은 컨텍스트와 무관하다는 것이다. 문법이 간단하고, 표현이 명확하고, 문법 분석과 컴파일이 편리하다는 특징을 가지고 있다. BNF 는 구문 규칙을 다음과 같이 나타냅니다.
종결자가 아닌 문자는 꺾쇠 괄호로 묶여있다. 각 규칙의 왼쪽은 비종료자이고, 오른쪽은 비종료자와 종료자로 구성된 기호 문자열이며, 중간은 일반적으로 "::=" 으로 구분됩니다. 같은 왼쪽을 가진 규칙은 * * * 한 개의 왼쪽으로, 각 오른쪽 부분은 수직 "|" 로 구분할 수 있습니다.
확장 데이터:
개발 내역:
존 바코스는 처음으로 ALGOL 58 에서 바코스 패러다임을 실현했다. 피터 노어 (Peter Norr) 는 ALGOL 60 에서 그 개념을 더욱 발전시키고 그 부호를 단순화하여 바코스 패러다임 (Backus Normal Form) 이라고 불렀다.
하지만 고데나는 바코스 노어 패러다임 (Backus-Naur Form) 이라고 불러야 한다고 주장했다. 왜냐하면 그것은 정규 형식 (Normal form) 이 아니기 때문이다.