Syntax 개요

syntax : 반복적으로 정의되는 무한개의 문장들을 유한개의 규칙으로 정의하는 것

overview)

1. Formal methods of describing syntax : CFG, BNF, EBNF
2. Derivation, Parse Tree
3. Ambiguous/Unambiguous grammar
4. Semantics : Attribute grammar, Operational semantics, Denotational semantics, Axiomatic semantics

Syntax 에 대해서!

EBNF
[] : optional part (써도 되고, 안 써도 되고) :: ? 표시
() : alternative part (1개 필수 선택)
{} : repetitions (0~무한버 반복 가능) :: * 표기
+) +표기 : 최소 1번 사용

BNF (위의 것 없이 그냥 적어서..) - 밑의 4개만 써야해!

모호성 없어야함(연산자우선순위같은 것에서..)

연습하기

---

AE (Arithmetic Expressions)

expr ::=  num
       | "{" "+" expr expr "}"                          
       | "{" "-" expr expr "}"