정리

ε 취급 양상 모음

Language Specifications

Lexical Analysis

[강의2] (참고) 정규언어 ∅와 {ε}의 차이

Context-Free Grammar

[강의3] (참고) ε은 Terminal에 포함되지 않는다.

[강의3] (참고) ε은 symbol인가?

Top-Down Parsing

left-recursive나 prefix 중복인 unambiguous grammar는 해당 production의 FIRST 간 교집합이 존재하여 LL(1) grammar가 아니다.

[강의4] lexer와 parser가 잡아내는 syntax 에러의 차이

Bottom-Up Parsing

[강의5] LR(0)에서 k=0인 이유

Operational Semantics

[강의8] Semantics 분류

[강의8] Statement vs. Command

[강의8] Statement vs. Expression

[강의8] Structural Induction vs. Induction on the Derivation ⭐

[강의8] Structural Induction의 Big ⇒ Small-step 증명 실패 이유

[강의8] Induction on Derivation을 통한 Big ⇒ Small-step 증명