형식 언어

구조, 범위 등이 명확히 규정되어 있는 언어로, 어학, 논리, 프로그래밍을 위해 자연 언어의 문법 구조를 수학적 측면으로 형식화한 것이다. 자연 언어보다 훨씬 간단한 구조의 인공 언어로 볼 수 있다. 형식 언어의 이론은 알골 등의 프로그램 작성 언어에서 제반 문제로 응용되고 있다.



관련콘텐츠