| 문맥 |
ε는 symbol인가? |
설명 |
| 문자열 구성 요소로서 |
✅ 예 |
ε는 길이 0인 문자열을 나타내는 특별한 symbol처럼 사용됨 |
| terminal/non-terminal의 원소로서 |
❌ 아니요 |
ε는 terminal도 non-terminal도 아님 |
| 문법 규칙의 우변에서 |
✅ 예 |
ε는 "아무 것도 생성하지 않는다"는 의미로 기호처럼 사용됨 |
🔍 ε는 어떤 의미에서 "symbol"로 간주되는가?
1. 문자열 수준에서의 ε
- 형식 언어 이론에서 문자열은 symbol들의 나열입니다.
- 이때, ε는 **"아무 symbol도 포함하지 않은 문자열"**을 의미합니다.
- 즉, ε는 어떤 symbol도 아니라는 점에서 symbol이 아닙니다.
- 하지만 기호로 사용되기 때문에, 형식 언어 정의에서 ε는 종종 “기호(symbol)”처럼 다루어집니다.
→ 요약: ε는 문자열이지만, 실질적인 symbol은 아니다.
2. 문법(CFG)에서의 ε
A → ε
이건 A가 빈 문자열로 대체될 수 있음을 의미합니다.
- 이 경우 ε는 일종의 "기호처럼" 사용되지만, 실제로는 "길이 0"이라는 의미론적 약속입니다.
- 따라서 ε는 문법에서 특별한 의미를 갖는 메타 기호이지 일반적인 symbol 집합의 구성원은 아닙니다.
→ 요약: ε는 CFG의 production rule에서 의미상 기호로 쓰이지만, terminal/non-terminal은 아님
3. Alphabet (Σ) 또는 Vocabulary 관점에서의 ε
- Alphabet Σ는 finite set of symbols입니다.