[프로그래밍 언어론] EBNF

EBNF(Extended Backus Naur Form)란 BNF의 사소한 불편을 개선한 표기법입니다.

{} 사용

{}는 0번 이상의 반복을 의미합니다.

<number> → <number><digit>
                 | <digit>

BNF 표기의 예
<number> 는 <number><digit>과 <digit> 으로 대치가 가능한데, 이는 결국 <digit>를 몇 번 반복하냐의 문제로 볼 수 있으므로, 이를 EBNF로 표기하면 다음과 같습니다.

<number> → <digit> {<digit>}

[] 사용

[]는 선택적인 옵션을 의미합니다.

<if> → if (<expr>) <term>
        | if (<expr>) <term> else <term>

BNF 표현의 예

<if> → if (<expr>) <term> [else <term>]

BNF로 표기된 것을 EBNF로 표현

() 사용

여러가지 옵션 중 반드시 하나를 선택하여야 할 때 사용합니다.

<expr> → <expr> ＋ <expr>
           | <expr> － <expr>
           | <expr> × <expr>

BNF 표현의 예
가운데의 연산자들을 제외하고는 표현이 같습니다.
이런 경우에 ()를 사용하여 다음과 같이 표현이 가능합니다.

<expr> → <expr> (＋ | - | x ) <expr>

BNF로 표기된 것을 EBNF로 표현