공식 언어 란 무엇이고 자연 언어와 어떻게 다릅니 까? 어떻게 형성 되었습니까? 공식 언어의 원인은 무엇입니까? 그리고 그것을 나타내는 데 무엇이 사용됩니까?
공식 언어의 특징
Так называют группу искусственных языков, которые 표현의 구성과 이해에 관한 정확한 규칙이 특징입니다. 공식 언어에는 적용 목적에 사용되는 시스템이 포함됩니다. 명확한 규칙을 준수하고, 연구 대상 영역 또는 시뮬레이션 된 객체의 관계와 속성을 일관되고 작고 정확하게 표시합니다. 사용 된 표시의 의미와 의미는 일부 실용적인 기능 (사용 컨텍스트)에서 변경할 수 없습니다. 이것은 공식 언어로 된 구문 변환 및 의미 해석의 규칙이 있기 때문에 가능합니다. 종종 그들은 수학을 기본으로 사용하여 만들어집니다. 그것의 전체 개발 기간 동안 다양한 상징적 표기법이 사용되어 다양한 개념과 객체에 적용되었습니다. 그것이 공식 언어를위한 것입니다. 데이터를 크게 줄일 수 있습니다. 이전에는 자연어가 형식과 함께 사용되었지만 주제의 점진적 복잡성과 수학적 판단에 대한 엄격한 논리적 분석을 수행해야 할 필요성이 있었기 때문에 후자를 포기하기로 결정했습니다. 이 과정은 17 세기에서 20 세기로 확장되었습니다. 공식 언어의 개발 측면에서 가장 유익한 것은 지난 세기입니다. 다양한 특수 가지가 만들어졌습니다. 따라서 컴퓨터 과학의 경우 프로그래밍 언어와 논리 대수학은 이론적뿐만 아니라 실제적인 관점에서도 특히 중요합니다.
정의
공식 언어에 기인 할 수있는 것은 이미간단히 설명했습니다. 하지만 그들에 대해? 형식 언어에는 여러 가지 정의가 있습니다. 모두 나열하는 데 시간이 오래 걸리므로 가장 인기있는 항목을 살펴 보겠습니다.
- 주어진 언어에 포함 된 간단한 단어 목록-일반적으로 최종 구성 유형 및 간단한 구조를 가진 단어에 대해 말하는 것입니다.
- 특정 형식 문법에 의해 생성 된 단어.
- 정규식에 의해 생성 된 구조.
- BNF 구성에 의해 생성 된 단어.
- 상태 머신에서 인식하는 구조입니다.
예를 들어 보겠습니다. 1과 0의 두 숫자로 지정된 전체 알파벳이 있다고 가정 해 보겠습니다. 문자 "O"를 표시하기 위해 1010001 조합을 사용합니다. 이것은 공식 언어를 사용하는 것입니다. 우리가 익숙한 형태로 특별한 지정을 가진 빈 단어 (문자열 길이가 0이고 그 안에 아무것도없는 경우)를 사용할 수도 있습니다. 그러나 공식 언어가 무엇인지 더 자세히 이해하려면 아래에 제공된 4 가지 예가 도움이 될 것입니다. 그것은 무엇입니까? 독자가 형식 언어에 기인 할 수있는 것을 이해하도록합니다. 그러나 그들이 어떻게 만들어 졌는지에 대해 조금 더.
공식 언어 구성
모든 공식 언어는 언젠가 누군가에 의해 만들어진 구조입니다. 일반적으로 하나의 계획에 따라 구축됩니다.
- 먼저 알파벳 또는 일부를 선택하십시오.언어에서 사용되는 표현이 만들어지는 특정 기호 집합. 공식 언어에는 컴퓨터로 프로그래밍하는 모든 방법이 포함됩니다.
- 구문, 즉 의미있는 문장이 작성되는 기능과 규칙을 설명합니다.
- 단어와 표현은 특정 규칙에 따라 구성됩니다. 여기에는 규칙이 있습니다. 모든 문자 시퀀스는 단어로 간주 될 수 있어야합니다.
공식 언어에는 모든 구성이 포함됩니다.명확한 규칙이 있습니다. 이것은 기억해야합니다. 건축 할 때 몇 가지 특징이 있습니다. 따라서 "기호"의 개념은 의미 적 부하 측면에서 매우 다기능 적이므로 대부분 "문자"와 같은 용어를 사용합니다. 그러나 그들은 우리의 일반적인 지정뿐만 아니라 괄호, 특수 기호 등으로도 이해할 수 있습니다. 이것은 공식 언어에만 적용됩니다.
실시 예 1
1과 0부터 시작하겠습니다. 이러한 경우 "용어"및 "공식"의 개념도 사용됩니다. 첫 번째는 객체 이름의 아날로그 역할을하며 특정 항목을 참조하는 데 사용됩니다. 우선, 그것들은 상수와 주제 변수로 이해됩니다. 그로부터 차례로 더 복잡한 구조가 만들어지며 일부 언어에서 사용되는 기능이 사용됩니다. 공식은 특정 프로그래밍 언어에서 사용할 수있는 용어 그룹으로 이해됩니다. 이 "지시"가 처리되고 그 사람은 원하는 결과를 받게됩니다.
실시 예 2
반전 (¬), 분리 (∧), 접속 (∨) 및 함축 (⇒) 및 기타 여러 가지가있는 논리의 예를 살펴 보겠습니다. 다음 기록을 이미지로 인용 할 수 있습니다.
- 과;
- А∧В ⇒ ¬А
- ¬ (А∨¬C)
변수를 문자 A, B, C로 대체하십시오.그리고 당신은 논리 연산을 얻습니다. 이러한 유형의 공식 언어는 어디에 사용됩니까? 이 메커니즘은 프로그래밍 언어, 수학, 관계, 논리 및 수학 함수 또는 프로그래머가 직접 설명한 개별 부분에서 널리 사용됩니다.
실시 예 3
더 복잡한 논리 공식을 살펴 보겠습니다.
¬ (А∨¬С) ⇔ ¬А∧С = 1
이것이 공식 언어가 필요한 이유입니다. 그것이 말로 묘사된다면 어떻게 될지 상상해보십시오. 이제 공식에 따라 결론을 도출합니다. 의미있는 표현은 공식 언어로 구성되는 공식 및 용어의 형성, 변경 및 "이해"에 대한 미리 정해진 규칙을 준수 할 때만 얻을 수 있습니다.
- 용어 및 공식 구성
- 의미 론적 측면 및 해석 작업
- 일부 공식 및 다른 용어의 순서.
각 공식 언어에서 이러한 규칙 세트는 잘 개발되어야합니다.
예 4
언어 구문에 규칙이 있기 때문에항과 공식에 대한 추론을 통해 동형 모델 변환을 수행 할 수 있습니다. 이것은 이미 존재하는 특정 지식을 반영 (대표) 할뿐만 아니라 새로운 정보를 얻을 수도 있습니다. 더욱이 변환은 명확하고 엄격한 규칙에 따라 발생하지만 자동화 할 수 있습니다. 유사한 기술이 전문가 시스템, 지식 기반 및 의사 결정 지원 소프트웨어 제품에 사용됩니다.
결론
공식 언어는 다음에서 널리 사용됩니다.과학, 특히 기술 분야. 과학적 연구 또는 실용적인 활동을 수행하는 동안 후자의 상당한 표현 능력으로 인해 자연적인 활동과 상호 작용할 수 있습니다. 그러나 공식 언어는 더 정확하게 지식을 전달하고 인류가 축적 한 정보의 객관적인 교환을 가능하게합니다.
