형식 문법

개요

formal grammar

形式 文法

형식 문법

• 언어, 특히 프로그램 작성 언어의 구조를 나타내기 위한 문법
• 형식언어를 규정하는 방법을 총칭해서 형식문법이라고 해야 하지만, 형식언어를 문장의 생성으로 정의하는 생성문법(generative grammar)을 가리키는 것이 일반적이다
• 표현되는 문장의 의미는 생각하지 않고 오직 그 문장의 문법적인 구조에만 관계하는 것을 말한다. 즉 어떤 언어로 쓰인 프로그램 문장이 맞는지를 판단하는 기준이 되는 규칙이라고 할 수 있다.

같이 보기

• 형식
• 문법
• 문자열
• 생성 문법
• 형식 언어

참고

• 위키백과 "형식 문법"
• 위키낱말사전 "형식 문법"
• 다음사전 "형식 문법"
• 다음백과 "형식 문법"
• 네이버사전 "형식 문법"
• 네이버백과 "형식 문법"
• 나무위키 "형식 문법"
• 리브레 위키 "형식 문법"