형식 언어에 어떻게 기인 할 수있다? 사용 예

무엇 공식 언어이며 어떻게 자연 다르다? 그것은 어떻게 형성 되었는가? 형식 언어에 어떻게 기인 할 수있다? 그리고 그에게 참조하는 데 사용됩니다?

형식 언어의 특성

그래서 우리는 그룹 호출 인공 언어, 정확한 표현의 건설에 관한 규칙뿐만 아니라 자신의 이해에 의해 특징입니다. 산업용으로 사용되는 시스템은 형식 언어에 기인 할 수있다. 그들은 명확한 규칙을 준수 내장되어, 속성과 연구의 관계, 일관성있는 콤팩트하고 정확한 디스플레이 제공 과목 또는 모델링 객체. 마크의 가치와 의미는 어떤 실용적인 기능 (컨텍스트의 사용)에 의해 변경 될 수 없습니다. 이 구문 변환 및 의미 해석의 규칙의 공식 언어로 존재 덕분에 가능하다. 그들은 종종 수학의 기초로 사용하여 구축된다. 그것으로 인해, 개발의 전체 범위에 상징적 인 명칭의 다양한 사용한다는 사실에 개념과 다양한 개체에 적용되었습니다. 즉 형식 언어를 필요로 무엇. 그들은 크게 데이터를 줄일 수 있습니다. 이전, 공식 및 자연 언어와 함께 사용되었지만, 제목과 수학적 추론의 엄격한 논리적 분석을 할 필요가 점진적 합병증으로, 그것은 과거를 포기하기로 결정했다. 이 과정은 XX 세기에 XVII에서 지속되었다. 그것은 지난 세기는 형식 언어의 측면에서 대부분의 결실로 간주된다. 다양한 특수 가지가 만들어졌다. 그래서, 컴퓨터 과학, 특히 중요 프로그래밍 언어와 논리의 대수의 이론뿐만 아니라 실용적인 관점에서이 아니다.

정의

형식 언어에 기인 할 수있는 일, 우리는 간단히 설명 이미 있습니다. 그러나 우리는 그들에 대해 무슨 말을 할 수 있겠습니까? 공식 언어는 다른 정의를 많이 주어집니다. 그들 모두를 나열하려면, 그것은 많은 시간을두고, 그래서 가장 인기를 살펴합니다 :

1. 언어의 단어의 간단한 목록 - 보통 건설의 최종 형식으로 간단한 구조를 가지고있는 사람에 대한 관련하여 이렇게 말한다.
2. 특정 형식 문법에 의해 생성 된 단어.
3. 정규 표현식에 의해 생성 된 구조.
4. BPF를 설계에 의해 생성 된 단어.
5. 유한 오토 마톤에서 인식 구조체.

의 예를 살펴 보자. 이제 우리는 모든 알파벳 문자 "O"를 표시하려면 두 숫자 1과 0 주어진 있다고 가정 해 봅시다, 우리는 1010001.이의 조합이 공식적인 언어의 사용이다 사용합니다. 비어있는 단어를 사용하는 것도 가능합니다 (문자열의 길이가 제로 때, 아무 것도 없다) 우리에게 익숙한 형태의 특별 지정와 함께. 그러나 더 자세히, 공식 언어 이해, 다음 주어집니다 4 예를 도움이됩니다. 그것은 무엇을합니까? 독자의 이해를 공식 언어가 표시 될 수 있었다. 하지만 그들은 생성하는 방법에 대한 좀 더.

형식 언어의 건설

각 언어는 한 번 사람이 만든 형식적인 구조입니다. 그들은 일반적으로 같은 패턴에 내장되어 있습니다 :

1. 시작하려면, 알파벳, 또는 기본 및 표현 언어에서 사용되는 특정 문자의 일부 설정을 선택합니다. 공식 언어에 의해 컴퓨터를 사용하여 프로그래밍 할 수있는 방법입니다.
2. 그것은 의미있는 문장을 구축 할 것, 특성과 규칙입니다 구문을 설명합니다.
3. 단어와 표현에 대한 특정 규칙에. 여기 규칙이있다 : 문자의 순서가 단어를 계산 할 수 있어야합니다.

공식 언어에 의해 명확한 규칙이있는 구조를 말한다 - 그것은 기억해야한다. 구축 할 때, 몇 가지 기능이 있습니다. 따라서, 용어 "문자"는 의미의 측면에서 매우 다기능, 그래서 대부분의 경우는 "문자"로 용어를 사용했다. 그러나 그 아래에 우리의 일반적인 표기법뿐만 아니라, 브라켓, 특수 문자 등뿐만 아니라 이해 될 수있다. 이것은 단지 형식 언어에 적용됩니다.

예 1

이제 더 "용어"와 개념을 사용, 이러한 경우에는 1과 0부터 시작하자 "공식을." 첫 번째는 객체의 아날로그 및 특정 무언가를 참조하는 데 사용되는 이름 역할을합니다. 우선은 그 아래에있는 상수와 개별 변수를 이해합니다. 이 중, 차례로, 몇 가지 언어 기능에 사용되는 사용되는 더 복잡한 구조를 구축 할 수 있습니다. 그룹의 용어는 공식을 이해에서 특정 프로그램 언어의 사용이 가능합니다. 이 "명령"을 처리 할 것이고, 사용자는 원하는 결과를 얻을 것이다.

예 2

반전 (¬)가 분리되는 예시적인 로직을 고려 (∧), 연계 (∨) 및 의미 (⇒) 및 몇몇 다른. 이러한 화상의 기록과 같이 주어질 수있다 :

1. ;
2. A∧V ⇒ ¬A
3. ¬ (A∨¬S)

문자로 A는, B는 C는 변수를 대체하면 얻을 논리적 작업을. 어디에서 이러한 유형의 형식 언어를 적용? 이러한 메커니즘의 광범위한 사용은 프로그래머가 설명되었다 어느 프로그래밍 언어, 수학, 관계, 논리적 수학 함수 또는 부분에서 발견된다.

예 3

의 더 복잡한 논리적 공식을 살펴 보자 :

¬ (A∨¬S) = 1 ⇔ ¬A∧S

우리가 공식적인 언어를 필요로하는 이유입니다. 이 단어에 설명 된 경우 어떻게 되었을까 상상? 이제 수식을 기반으로 우리는 결론을 추론. 의미있는 표현은 특정 규칙이 미리 형성, 변화와 그들이 만들어지는의 수식과 용어의 "이해"를 존중하는 경우에만 공식 언어로 얻을 수 있습니다 :

1. 건설 기간 수식과;
2. 의미 론적 측면과 해석에 관한 연구;
3. 식 및 다른 기간들 중 하나의 시퀀스.

각각의 공식 언어는 물론 규칙 세트 확립되어야한다.

예 4

때문에 용어와 수식 언어 구문 출력의 규칙에 존재 동형 변환 모델을 만들어 질 수있다. 그래서뿐만 아니라 반사 (표현) 이미 존재하는 지식의 특정 신체를 수행 할 것이다, 그러나 새로운 정보를받을 수 있습니다. 또한, 변환, 생각하고, 명확하고 엄격한 규칙에 따라 진행됩니다, 그것은 자동화 할 수 있습니다. 유사 기술에 사용되는 전문가 시스템, 지식 기반, 소프트웨어 의사 결정 지원 제품.

결론

공식 언어는 널리 특히 기술 분야에서, 과학에 사용됩니다. 과학 연구 및 실천 활동의 구현 동안 그들은 후자의 상당한 표현 능력의 관점에서, 자연과 상호 작용할 수 있습니다. 그러나 형식 언어보다 정확하게 지식을 전달할 수 인류에 의해 축적 된 정보의 객관적인 교환을 수행 할 수 있습니다.