우리는 형식 언어가 무엇인지, 그 특성, 예 및 유형을 설명합니다. 또한 자연어와의 차이점.
공식 언어란 무엇입니까?
에 컴퓨팅 정보 과학에서 자연어와 대조되는 형식 언어를 언급할 때 우리는 표지판 기본 기호와 공식적으로 지정된 사용 규칙 시스템, 즉 알파벳 그리고 문법 (또는 통사론) 공식적인:
- 알파벳은 유한하고 비어 있지 않은 원시 기호 집합으로 이해됩니다.
- 형식 문법은 특정 의미를 가진 유한 사슬을 형성하기 위해 상기 알파벳의 유한 조합 규칙 세트로 이해됩니다.
이 점에서 규칙이 복잡하고 모호하며 의미가 언어의 해석에 따라 달라지는 의사 소통에 대한 인간의 필요를 중심으로 발생하는 자연어와 다릅니다. 언어 기호. 이러한 이유로 자연어는 형식어를 읽는 것보다 훨씬 더 복잡합니다. 규칙 그것들은 유한하고 미리 설정되어 있습니다.
공식 언어는 세계에서 중요합니다. 수학 그리고 컴퓨팅, 그들은 우리가 만들 수 있기 때문에 코드 인간과 기계의 소통, 즉 프로그램 작성. 우리는 형식 언어를 언어의 형식 수준 또는 형식 언어와 혼동해서는 안 됩니다. 공식 언어, 언어의 사용과는 대조적으로 구두 언어의 형식적이고 정중하며 형식적인 사용입니다. 구어체, 흐트러진 및 비공식.
미국 언어학자인 Noam Chomsky(1928-)에 따르면 형식어는 다음 네 가지 유형으로 분류할 수 있습니다.
- 유형 3: 정규 문법, 즉 정규 표현식으로 얻을 수 있고 가능한 모든 기호 문자열을 얻을 수 있는 규칙 시스템이 부여된 정규 언어.
- 유형 2: 비문맥 문법이 부여된 비문맥 언어, 즉 가능한 모든 기호 문자열을 얻을 수 있지만 일반 언어보다 훨씬 더 복잡한 수준입니다.
- 유형 1: 문맥 문법이 부여된 문맥 언어, 즉 이름에서 알 수 있듯이 종속 기호 문자열을 얻을 수 있습니다. 문맥.
- 유형 0: 재귀적으로 열거 가능한 언어를 생성하는 제한 없이 자유 문법이 부여된 자유 언어.
공식 언어의 예
공식 언어의 예는 다음과 같습니다.