📌 요약

💡 설명

• **ε (epsilon)**은 **"빈 문자열" (empty string)**을 의미하는 기호입니다.
• 하지만 ε는 terminal symbol이 아닙니다.
  • Terminal은 실제 언어의 "출력 심볼"입니다. 예: a, b, 0, 1 등.
  • 반면 ε는 아무 것도 출력하지 않음을 의미합니다. 이것은 "symbol"이 아니라 언어의 구성 방식에 대한 메타적인 표현입니다.

📘 형식적으로 보면

A CFG는 다음 4개의 튜플로 정의됩니다:

G = (V, Σ, R, S)

• V: 유한한 비단말 기호 집합 (non-terminals)
• Σ: 유한한 단말 기호 집합 (terminals)
• R: 유한한 생성 규칙의 집합
• S: 시작 기호 (start symbol), V의 원소

여기서 R에는 다음과 같은 규칙이 들어갈 수 있습니다:

A → α   where α ∈ (V ∪ Σ ∪ {ε})*

즉, ε는 규칙의 우변에서만 사용되며, 단말 기호 집합 Σ에는 포함되지 않습니다.

✅ 예시

G = ({S}, {a, b}, {S → aSb | ε}, S)