Seonglae ChoCFGs
Ways of specifying PL syntax
A context-free grammar is specified by a Tuple G = (V, T, P, S)
- V is variable (non-terminal symbol) set
- T is terminal (terminal symbol / Token (at compiler)) set - like alphabet
- P is production set - same head can exist
math: \subseteq V \times (V \cup U)^*
- S is one start symbol (sentence symbol) -
math: L(G) = \{w \in T^* \, | \, S \Rightarrow^* w\}
- Any Regular Languages is CFL
- process of replacing Non-terminals to terminals
- where V, T, P is finite set
Context Free Grammar Notion
Context Free Grammar Usages
Reference
[Study] Context Free Grammar (CFG)
지난 포스트를 통해서 Regular Expression을 NFA->DFA를 거쳐는 일종의 Lexical Analysis을 정리했다. 그러면 이제 수행해야 될 것이 Syntax Analysis가 될 것이다. 그런데 한가지 짚고 넘어가야 될 부분이 있다. 과연 지금까지 다룬 방법으로 사용자가 넣는 모든 입력들을 이 Syntax Analysis를 처리할 수 있냐는 것이다. 예를 들어서 brace {()} 가 있는 구문을 보자 이걸 Regular Expression으로 어떻게 표현할 수 있을까?
![[Study] Context Free Grammar (CFG)](https://www.notion.so/image/https%3A%2F%2Ft1.daumcdn.net%2Ftistory_admin%2Fstatic%2Ftop%2Ffavicon_0630.ico?table=block&id=d1e67a59-d8b2-4181-9a8d-6a6c385d7878&cache=v2)
https://talkingaboutme.tistory.com/498
![[Study] Context Free Grammar (CFG)](https://www.notion.so/image/https%3A%2F%2Ft1.daumcdn.net%2Fcfile%2Ftistory%2F26058E4B515BD1E12D?table=block&id=d1e67a59-d8b2-4181-9a8d-6a6c385d7878&cache=v2)