형식 언어

형식 언어(形式言語, formal language)는 자연 과학, 법학, 언어학 등의 학문 분야의 여러 맥락에서 사용되는 용어로 일상 언어 또는 자연언어에 비해 매우 형식적이고 정확한 표현 양식을 가진 언어를 가리킨다.

형식 언어는 좁게는 수학, 논리학, 전산학에서 사용되는 개념으로 유한한 종류의 기호 또는 문자로 이루어진 유한한 길이의 단어 (문자열)들의 집합을 말한다. 이러한 대상을 다루는 과학 이론을 형식 언어 이론이라고 한다.

형식 언어는 논리학과 정보 이론의 연구 대상이기도 하며 이러한 연구는 계산가능성 이론과 밀접하게 관련되어 있다.

형식 언어는 다음과 같이 다양한 방식으로 기술될 수 있다.

다양한 연산을 이미 알려진 언어들에 적용해 새로운 언어를 만들어 낼 수 있다. 두 형식언어 L₁ 과 L₂ 가 있다고 하면 다음과 같은 연산이 가능하다.

L₁ 과 L₁ 의 연쇄는 L₁ 의 문자열 v 와 L₂ 의 문자열 w 를 연쇄시켜 만든 단어들의 집합이다. 표기: $L_1\cdot L_2$ ou $L 1 L 2$ .
L₁ 과 L₂ 의 교집합은 L₁와 L₂ 에 동시에 속해 있는 문자열들의 집합이다. 표기 : $L_1\cap L_2$ .
L₁ 과 L₂ 의 합집합은 L₁에 속하거나 L₂ 에 속하는 문자열들의 집합이다. 표기 : $L_1\cup L_2$ ou $L 1 + L 2$ .
L₁ 의 여집합은 L₁ 에 속하지 않는 문자열들의 집합이다.
우상 (오른쪽 몫) L₁/L₂ 는 L₂의 문자열 w 에 대하여 vw가 L₁ 에 속하도록 하는 문자열 v 의 집합이다. 표기 : $L 1 / L 2$ .

이 문서는 언어학에 관한 토막글입니다. 서로의 지식을 모아 알차게 문서를 완성해 갑시다.