BNF와 EBF 그리고 구문 도표

소개글

BNF와 EBF 그리고 구문 도표에 대해 조사한 리포트입니다.

목차

1. BNF (Backus-Naur form)
1) 배경
2) BNF 표기법
3) BNF의 형식
4) ALGOL 60의 BNF 예
5) BNF 형식 사용 예
6) BNF로 표기된 simplified expression
2. EBNF (Extended Backus-Naur form)
1) BNF보다 추가된 특수한 의미를 갖는 EBNF의 메타 기호
2) 패턴결합
3. 구문 도표
1) 구문 도표를 그리는 방법

본문내용

1. BNF (Backus-Naur form)

BNF는 프로그래밍 언어를 정의하기 위한 최초의 메타 언어였다. ALGOL 58 언어의 구문 기술을 위해 1959년에 John Backus에 의해 처음 도입되었으며, Peter Naur에 의해 강화되어 ALGOL 60을 정의하는데 사용되었다. BNF는 구문 요소를 나타내는 기호 < >, 둘 중 하나의 선택을 의미하는 기호 ∥, 좌변은 우변에 의해 정의됨을 의미하는 기호 ::= 등의 메타 기호들을 사용하여 규칙을 표현한다. BNF의 원형은 원래 "Backus normal form"이었으나, Peter Naur의 이름을 넣어 오늘날과 같이 바뀌었다.

1) 배경

언어 자체에 관심을 가지고 있었던 학자들은 언어에 대한 욕심을 알골(ALGOL, Algorithm Language)가 그것이다. 그러나 또 다른 측면에서 이는 신대륙(미국)에 대한 구대륙(유럽)의 반항이라고도 할 수 있었다. 1958년 5월 28일 취리히 공과대학에서 과학기술용 범용언어에 대한 회의(ACM/GAMM committee)가 열렸다. 배커스도 초청되었다. 그러나 소수점을 문장의 분리기호를 쓸 것 인가하는 문제로 격돌을 벌였다. 위원장인 웨그슈타인의 중재로 일단 격돌을 일으키는 부분은 나중에 다루기로 하였다. 사소한 논쟁을 피하고 구조적인 측면을 중시한 언어가 탄생하게 되었다. 그 결과 포트란을 따라잡지는 못했지만, 이후에 나타날 현대적 언어에 많은 영향을 주었고, 특히 배커스표준형식(Backus Normal Form, BNF)이 도입되어 이제 프로그래밍 언어는 하나의 언어과학으로 발전하게 되었다. 미국의 포트란 추종자들은 알골을 헐뜯었다. 입출력도 제대로 없다, 구조가 모호하다는 등 그러나 유럽인들은 알골을 아꼈고, 미국에서는 시들어 갔다. 호퍼여사는 알골을 기절할 정도로 절묘한 구조의 아름다움을 지녔지만, 아무도 쳐다보지 않아 조금 쓸쓸할 따름이라고 표현했다.

그러나 알골설계의 철학은 미국에도 큰 영향을 미쳤다. 블럭구조, 자기호출기능(recursion), BNF형식에 의한 구문 정의가 그것으로 이 선물을 이어받은 파스칼은 포트란을 미국의 대학에서 몰아내고, 교육용 언어로서 자리를 굳혀갔다.

참고 자료

원유헌 저 <프로그래밍언어론> 정익사