00000nz a2200000n 4500 001 KSH2005010708 005 20050519212704 008 050519 n azknn|abn |a a|a | 150 ▼a형식 문법[形式文法]▲ 450 ▼wr▼i영어▼aformal grammar▲ 550 ▼wg▼a문법[文法]▲ 550 ▼a형식 언어[形式言語]▲ 680 ▼i언어, 특히 프로그램 작성 언어의 구조를 나타내기 위한 문법으로, 그에 의해 표현되는 문장의 의미는 생각하지 않고 오직 그 문장의 문법적인 구조에만 관계하는 것. 즉, 어떤 언어로 쓰인 프로그램 문장이 맞는지를 판단하는 기준이 되는 규칙.▲