lec3

• formal language:
  • 빈 string을 뜻하는 기호로서 language의 원소 가능
  • length 0인 strings 집합인 Σ^0의 유일한 원소
  • 언어의 0제곱 L^0의 유일한 원소
• RE:
  • expr에 등장 가능. RE를 정의하는 CFG의 base case.
  • 빈 string만 가지는 Language로 해석됨
• NFA, DFA:
  • alphabet Σ에 ε는 미포함
  • symbol 소모 없이 전이 가능한 ε-edge. Q X ε → 2^Q

lec4

• CF grammar:
  • production rule 우변에 빈 string을 뜻하는 기호로 등장

lec5

• FIRST set:
  • 빈 string으로 유도된다는 의미의 기호