Formal  Language

 

수학, 논리학, 컴퓨터과학에서 형식언어 (formal language) 는 알파벳으로 만든 유한길이의 단어들 (finite-length words, 즉 character strings) 의 집합이다. 그리고 그런 영역을 다루는 과학이론을 형식언어이론 (formal language theory) 이라고 한다. 여러종류의 문맥에서 (예를들면 과학, 법률, 언어학 등등) 사용되는 형식적 언어 (formal language) 라는 말은 일상 언어에 비해 훨씬 더 주의깊고, 정확하며, 예의를 갖춘 표현양식을 의미한다. 그러나 여기서 다루는 형식언어의 의미는 formal language theory 에서 연구되는 것을 의미한다. ...... 형식언어에서 흔히 질문되어지는 "주어진 단어가 그 언어 (language) 에 속하는지 아닌지를 결정하는 것은 얼마나 어려운가?" 라는 것이다. 이것은 계산가능성이론과 복잡도이론의 영역이다.  ............ (Wikipedia : Formal language)

형식 언어 (formal languages) 란 프로그래밍 언어들의 일반적인 특성들을 추상화한 개념이다. 형식 언어는 심볼들의 집합과  이 심볼들을 조합하여 문장 (sentence) 이라 불리는 개체를 만드는 데 사용되는 형성 규칙들로 구성된다. 형식 언어를 공부함으로써 프로그래밍 언어에 대한 많은 것들을 배울 수 있다.

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

term :

언어학 (linguistics)   인공어 (Artificial Language)   인공지능 (Artificial Intelligence)   촘스키 계층 (Chomsky Hierarchy)   오토마타 (Automata)   계산가능성 이론 (Computability Theory)   계산복잡도이론 (Computational Complexity Theory)   튜링 기계 (Turing Machine)   형식문법 (Formal Grammar)   형식언어 (Formal Language)   

site :

Wikipedia : Formal language

형식언어 : PPT : 방혜자