문맥 무관형 문법 (context-free grammer)

문장의 의미와는 무관하게, 문법규칙에만 합당하면 언어로서 적합함

∙ 메타 기호(metasymbol) : 각진 괄호나 ‘→’, ‘|’들은 모두 기호를 위한 기호, 신택스 정의 기호를 위한 기호를 메타기호.

∙ 문맥무관형 문법의 문법 규칙에는 메타기호 “→”이 오고, 이것의 좌측에는 하나의 문법 구조명이 오며 우측에 구조명이나 다른 기호들이 온다.

∙ 비종결자(nonterminal) : 문법 구조명

∙ 종결자(terminal) : 단어 혹은 토큰 기호

∙ 유도(derivation) : 어떠한 문장이 주어졌을 때 그 문장이 그 언어에서 쓰일 수 있는지 판정하기 위해 문법 규칙을 사용하여 <문장>으로부터 시작하여 왼쪽의 것을 오른쪽으로 대치해 나가는 과정.
  > 주어진 문장이 문법규칙에 합당한지를 확인하는 과정
  > 문법규칙의 좌측으로부터 우측으로 대치해 나가는 과정
  > 세 가지로 구성됨 : 메타기호, 비종결자, 종결자

∙ 언어에는 종결자들만이 나타나며 비종결자는 문법을 정의하기 위한 것이다.


참고문헌
Wikipedia
-> http://en.wikipedia.org/wiki/Context_free_grammar