Formal  Grammar

 

컴퓨터과학에서 형식문법 (formal grammar) 는 형식언어 (formal language) 를 정밀하게 묘사하는 추상적 구조이다. 다시말하면 알파벳을 사용하여 유한길이의 문자열 (strings) 을 수학적으로 기술하는 규칙의 집합이다. 형식문법은 인간이 사용하는 언어의 문법에서 유추하여 지어진 이름이다. 형식문법은 두개의 주요 카테고리 즉 generative and analytic 으로 구분한다.

줄여서 얘기하자면 분석문법은 어떤 언어를 어떻게 읽을 (read) 것인지를 묘사하며, 생성문법은 어떻게 쓸 (write) 것인지를 묘사한다.  ............ (Wikipedia : Formal grammar)

촘스키 계층 (Chomsky Hierarchy) 는 형식언어 (Formal Language) 를 생성하는 형식문법 (Formal Grammar) 들을 분류해 놓은 계층구조이다. 1956 년에 Noam Chomsky 가 처음 서술하였다.

term :

언어학 (Linguistics)   인공어 (Artificial Language)   인공지능 (Artificial Intelligence)   촘스키 계층 (Chomsky Hierarchy)   오토마타 (Automata)   생성문법 (Generative Grammar)   형식언어 (Formal Language)   형식문법 (Formal Grammar)

site :

Wikipedia : Formal grammar

한국언어정보학회 (Korean Society for Language and Information) : 1981년  서울 형식문법이론 연구회 설립 ....   1995년 전국규모의 한국 언어정보학회로 발전 ..... 언어의 구조에 대한 탐구의 역사는 길고 그 방법 또한 다양하다. 우리 학회는 1980년대 초에 장석진 (당시 서울대학교 교수), 이기용 (당시 고려대학교 교수), 박병수 (당시 경희대학교 교수), 이정민 (당시 서울대학교 교수), 이익환 교수 등을 중심으로 활동한 형식문법연구회에 연원을 두고 있으며 통사 부문, 의미 부문, 화용 부문 등에 대한 형식화 된 접근을 소중히 여기는 학자들의 모임이다. ..... 한국언어정보학회는 형식 문법 이론, 이론 언어학, 논리학과 의미론, 언어(학)의 컴퓨터 응용 내지 전산 언어학 등의 연구에 중점을 두어 온 과거 형식문법이론연구회의 전통을 계승하고 나아가서 형태, 통사, 의미, 화용론의 상호 작용과 접합 영역에 대한 본격적인 연구를 폭넓게 추진하며 또 한편으로 정보에 관한 포괄적인 이론과 그 실용적 응용을 추구함으로써 21세기의 언어학의 새로운 방향을 개발 형성하는 데에 공헌한다는 목표를 향해 매진하고 있다.