Source to program

• 그래서 맨 위에 있는 문법적 단계를 볼 것이다.

Preliminaries 예비 절차 - 용어 알기

✅ sentence : 알파벳, 기호들의 나열

✅ language : 여러 문장의 집합

✅ lexeme : 문법적으로 더 쪼갤 수 없는 최소 단위

✅ token : 렉심의 범주(identifier)

📌 문법(syntax)을 설명하거나 판단하는 두 가지 방식

1. Recognizer : 입력 문자열이 언어에 속하는지 판별하는 장치
   • Parser, 스캐너가 여기에 해당함
2. Generators : 언어에 속하는 문장을 생성해낼 수 있는 장치

→ 그 문장이 문법적으로 맞는지를 생성 규칙과 비교하여 확인

• 생성에 성공 ⇒ Recognizer가 언어에 속한다고 정함
• 생성에 실패 ⇒ Recognizer가 언어에 속하지 않는다고 정함

Grammars 문법 (문장을 생성하는 규칙들의 집합)

1. Context-Free Grammars ⇒ 문맥 없이도 문법 규칙을 적용할 수 있는 구조

   • 주변 문맥에 의존하지 않고 독립적으로 적용되는 것

     

2. Backus Normal/Naur Form (BNF) ⇒ 문법을 체크하는 수단

   • CFG를 표현하기 위한 기법이다.

BNF