공식 언어 기능 및 예



그 형식 언어 자연어가 적절하지 않은 상황에서 독점적으로 사용되는 언어 표식 집합입니다. 일반적으로 언어는 자연적 또는 비공식적 인 것으로 나눌 수 있습니다. 첫 번째는 일상 생활의 일반적인 상황에 사용됩니다. 한편 인공은 일상 생활의 범위를 벗어나는 특정 상황에서 사용됩니다..

이런 방식으로, 공식 언어는 인공 그룹의 일부입니다. 이것은 특히 형식 과학 (행동의 영역이 물리적 세계의 현실이 아니라 추상적 세계)에서 사용됩니다. 이러한 과학 중 일부는 논리, 수학 및 컴퓨터 프로그래밍을 포함합니다..

이런 의미에서 이런 종류의 언어는 자연적이지 않은 언어 코드를 사용합니다 (그들은 일상 세계에서 의사 소통에 응용되지 않습니다). 형식 과학 분야에서 공식 언어는 각 과학 분야에 고유 한 법칙에 의해 규제 될 수있는 일련의 상징 사슬입니다.

이제이 유형의 언어는 기호 나 문자 세트를 알파벳으로 사용합니다. 이것으로부터 "언어의 사슬"(단어)이 형성됩니다. 이것들이 규칙을 준수한다면 "잘 형성된 단어"또는 "잘 형성된 수식"으로 간주됩니다.

색인

  • 1 특성
    • 1.1 제한된 환경
    • 1.2 선험적 문법 규칙
    • 1.3 최소 의미 론적 구성 요소
    • 1.4 기호 언어
    • 1.5 보편성
    • 1.6 정확성과 표현력
    • 1.7 확장 용량
  • 2 예
    • 2.1 논리
    • 2.2 수학
    • 2.3 컴퓨터 프로그래밍
  • 3 참고

특징

제한된 환경

형식 언어의 목적은 다른 언어와 다른 환경 조건에서 데이터를 교환하는 것입니다. 예를 들어, 프로그래밍 언어에서 인간과 컴퓨터 또는 컴퓨터 장치 간의 통신이 끝납니다. 인간 사이의 소통이 아닙니다..

따라서 특수 목적으로 작성되고 특정 상황에서 기능하는 특별 언어입니다. 또한 대규모로 사용되지 않습니다. 오히려 그것의 사용은 언어의 목적과 그것의 특정한 맥락을 아는 사람들로 제한된다..

문법은 선험적으로 규칙을 따른다.

공식 언어는 기초를 제공하는 선험적 문법 규칙의 수립을 통해 형성됩니다. 먼저 요소 조합 (구문)을 관리하고 수식을 생성하는 일련의 원칙을 설계합니다..

반면에 공식 언어의 개발은 의식적이다. 이것은 그들의 학습을 위해 지속적인 노력이 필요하다는 것을 의미합니다. 동일한 아이디어 순서로, 그것의 사용은 과학적 사용의 규칙과 관습에 전문화를 이끈다..

최소 의미 구성 요소

형식 언어의 의미 론적 구성 요소는 최소한입니다. 형식 언어에 속한 어떤 사슬은 그 자체로 아무런 의미가 없다..

의미 론적로드는 부분적으로 연산자와 관계에서 비롯됩니다. 이들 중 일부는 평등, 불평등, 논리적 연결 및 산술 연산자입니다..

자연 언어에서는 "아빠"라는 단어에서 "p"와 "a"의 조합을 반복하면 의미 값이 parent가됩니다. 그러나 공식 언어에서는 그렇지 않습니다. 실용적인 분야에서, 사슬의 의미 또는 해석은 그 공식 언어를 통해 정의하려는 이론에있다.

따라서, 방정식의 선형 시스템에 사용될 때, 그것은 의미 론적 가치들 중 하나로서 행렬 이론을 갖는다. 다른 한편으로는,이 동일한 시스템은 컴퓨팅에서 논리적 회로 설계의 의미 론적로드를 갖는다.

결론적으로, 이러한 사슬의 의미는 적용되는 공식 과학의 영역에 달려있다..

상징적 인 언어

공식 언어는 완전히 상징적입니다. 이것은 그들 사이의 관계를 전하는 임무를 가진 요소들로 구성됩니다. 이러한 요소는 위에서 언급 한 것처럼 의미 론적 가치를 발생시키지 않는 형식적인 언어 적 신호입니다.

공식적인 언어 기호 체계의 구축 형태는 사실이 아니라 관계에 따라 계산과 진리를 수립 할 수있게 해줍니다. 이 상징은 물질 세계의 어떤 구체적인 상황과도 독특하고 멀리 떨어져 있습니다..  

보편성

공식 언어는 보편적 인 성격을 가지고 있습니다. 자연적인 것과는 달리, 주관성에 동기를 부여하는 것은 해석과 다중 방언을 가능하게하며 공식적인 것은 변하지 않은 것처럼 보입니다..

사실, 이것은 여러 유형의 커뮤니티에서 비슷합니다. 그들의 접근 방식은 말하는 언어에 관계없이 모든 과학자에게 동일한 의미를 갖는다..

정확성과 표현력

일반적으로 형식 언어는 정확하고 그다지 표현 적이 지 않습니다. 그것의 형성 규칙은 연사들이 새로운 용어를 사용하거나 기존의 용어에 새로운 의미를 부여하는 것을 막습니다. 그리고 그것은 신념, 기분 및 심리적 상황을 전달하는 데 사용될 수 없습니다.

확장 용량

형식 언어에 대한 응용 프로그램 발견에서 진전이 이루어진 방법에서 그 개발은 기득권으로되었습니다. 내용 (의미)을 고려하지 않고 기계적으로 조작 할 수 있다는 사실은 기호와 연산자의 자유로운 결합을 허용합니다.

이론적으로 확장의 범위는 무한합니다. 예를 들어, 컴퓨팅 및 컴퓨팅 분야의 최근 연구는 언어 (자연 및 형식)를 실제 목적과 관련시킵니다.

특히, 과학자 그룹은 이들 사이의 동등성을 향상시키는 방법에 대해 연구합니다. 결국 추구하는 것은 공식 언어를 사용하여 자연어를 생성 할 수있는 지능을 창출하는 것입니다.

예제들

논리

문자열 : (p⋀q) ⋁ (r⋀t) => t에서 문자 p, q, r, t는 구체적인 의미없이 명제를 상징한다. 반면, 기호 ⋀, ⋁ 및 =은 명제를 연결하는 커넥터를 나타냅니다. 이 특정 예제에서 사용되는 커넥터는 "y"(⋀), "o"(⋁), "then"(=>).

문자열에 가장 가까운 변환은 다음과 같습니다. 괄호 안의 표현식 중 하나라도 충족되면 t가 충족되거나 충족되지 않습니다. 커넥터는 무엇이든 표현할 수있는 명제 사이의 관계를 수립하는 역할을 담당합니다 ...

수학

이 수학적 예제 A = ❴x | x⦤3⋀x> 2❵에서 이름이 "x"인 요소가 "A"인 집합이 개입합니다. A의 모든 요소는 기호 ❴, |, ⦤, ⋀,>, ❵.

이들 모두는 요소 "x"가 충족시켜야하는 조건을 정의하는 데 여기에 사용되어 집합 "A"가 될 수 있습니다..

이 체인의 설명은이 세트의 요소가 모두 3 이하이고 동시에 2보다 큰 조건을 충족하는 요소라는 것입니다. 즉,이 체인은 숫자 3을 정의합니다. 조건을 준수하다..

컴퓨터 프로그래밍

프로그래밍 라인 IF A = ​​0, THEN GOTO 30, 5 * A + 1은 "조건부"로 알려진 연산자를 통해 검토 및 의사 결정 과정에 제출 된 변수 "A".

표현식 "IF", "THEN"및 "GOTO"는 연산자 구문의 일부입니다. 한편, 나머지 요소는 "A"의 비교 및 ​​동작 값입니다..

의미는 다음과 같습니다. 컴퓨터는 "A"의 현재 값을 평가하도록 요청받습니다. 0과 같으면 "30"(다른 명령이있을 프로그래밍의 또 다른 행)으로 이동합니다. 0과 다른 경우 변수 "A"에 5가 곱해지고 (*) 값 1이 더해집니다 (+)..

참고 문헌

  1. 콜린스 사전. (s / f)이다. '공식 언어'의 정의. collinsdictionary.com에서 가져온.
  2. University of Technology, 시드니. (s / f)이다. 형식적이고 비공식적 인 언어. uts.edu.au에서 가져온 것.
  3. 정의 (s / f)이다. 형식 언어에 대한 정의. definitions.net에서 가져온.
  4. 마드리드 기술 대학. (s / f)이다. 자연어 및 공식 언어. lorien.die.upm.es에서 가져온.
  5. Luján 시정촌. (s / f)이다. 형식 언어 lujan.magnaplus.org에서 가져옴.
  6. Corbin, J.A. (s / f). 12 가지 유형의 언어 (및 특성). psicologiaymente.com.
  7. Bel Enguix, G. 및 Jiménez López, M. D. (s / f). 심포지엄 : 언어학에 대한 공식 언어 이론의 새로운 응용. elvira.lllf.uam.es에서 가져온 것.