객체 언어

객체 언어는 논리학(또는 금속공학), 언어학, 수학(또는 변태학), 이론 컴퓨터 과학을 포함한 다양한 분야에서 연구의 "목적어"인 언어다. 사물언어에 대해 말하는데 사용되는 언어는 금속언어라고 불린다.^[1] 목적어는 형식적이거나 자연적인 언어일 수 있다.^[2]

객체 언어의 형태

격식어

수학논리와 언어학은 다른 언어의 본질을 기술하기 위한 언어인 금속언어를 사용한다. 수학 논리학에서 목적어는 보통 형식 언어다. 금속구조가 묘사하는 언어는 목적어다. 그 언어가 금속구어를 사용하여 논의되고 있는 대상이기 때문에 그렇게 불린다.

예를 들어, "프랑스어로, 당신은 누군가를 맞이하기 위해 본저어를 말한다"고 말하는 누군가는 목적어 프랑스어를 묘사하기 위해 영어를 철어로 사용한다.

컴퓨터 언어

객체 언어라는 용어가 컴퓨팅에서 사용될 수 있는 두 가지 방법이 있다: 형식적 명세의 대상인 언어와 컴파일러 또는 통역자의 대상(골)인 언어.

형식 사양

컴퓨터 언어는 그 명세서가 쓰여진 금속 언어의 대상 언어다. 컴퓨터 과학에서 이것을 사양 언어라고 한다. 백커스-나우르 형식은 가장 초기에 사용된 사양 언어 중 하나이다.

컴파일러를 렉스와 yacc와 같은 시스템을 사용하여 작성할 때, 프로그래머가 쓰는 규칙은 형식적인 명세서처럼 보이지만, 대신 구현으로 간주된다. 많은 프로그래밍 언어 구현은 특징을 추가하거나 구현에 의존하는 설계 결정을 내리는 등 규격과 완전히 동일하지 않다.

객체 코드

컴퓨터의 기본 수준에서 컴퓨터는 CPU로 이해되는 제한된 명령 집합을 통해 자신에게 주어진 것에 대해 행동한다. 초기 컴퓨터에서는 프로그래머들이 때때로 실제 1과 0을 프로그래밍으로 구성한다는 것을 의미했다. 이것은 지시를 만드는 데 상당한 프로그래머 훈련(그리고 인내심)을 필요로 하기 때문에, 후에 컴퓨터 언어는 프로그래머의 업무를 단순화하기 위해 많은 노력을 기울였다. 예를 들어, 수준 높은 프로그래밍 언어는 프로그래머가 메모리 위치나 CPU 명령을 지정하지 않고 변수에 값을 할당할 수 있도록 할 수 있다.

이런 맥락에서, 고급 프로그래밍 언어는 소스 언어로서, 그 다음 컴파일러에 의해 CPU가 직접 읽을 수 있는 객체 코드로 번역된다. 이 객체 코드는 객체 언어로서, 지시사항이 주어지는 CPU에 따라 달라진다.

이 맥락에서 객체 언어는 "프로그래머가 성취하려고 하는 것의 목적"과 유사한 것을 의미한다. 소스 언어와 객체 언어를 형식(논리적) 언어로 본다면, 컴파일러가 하는 일은 소스를 대상 언어로 해석하는 것이다(이것은 컴파일되지 않은 언어를 의미하는 해석 언어의 컴퓨터 과학 사용과는 다르다).

이 맥락에서 객체 언어는 대상 언어와 동의어다. 번역의 목적어는 기계어지만, 조립 언어와 같은 다른 종류의 언어가 될 수 있다.

컴파일의 객체 언어는 대개 머신 언어였기 때문에 객체 파일이라는 용어는 머신 명령이 포함된 파일을 의미하게 되었고, 때로는 번역된 프로그램 자체를 단순히 오브젝트라고 부르기도 한다.

객체 언어는 또한 객체 지향 언어와 혼동해서는 안 되는데, 이것은 프로그래머의 환경을 드래그 앤 드롭 방식과 비슷한 것으로 사용할 수 있는 편리한 객체로 바꾸는 컴퓨터 프로그래밍 언어의 일종이다.

개체 언어의 표현식

기호

기호는 아이디어, 추상화 또는 개념이며, 토큰은 특정 패턴을 형성하는 마크 또는 마크의 구성일 수 있다. 비록 통용되는 '기호'라는 용어는 어떤 때는 상징되는 사상을 가리키기도 하고, 또 어떤 때는 그 사상을 표현하기 위해 사용되고 있는 종이나 칠판의 표시를 가리키기도 하지만, 수학과 논리로 연구된 형식 언어에서 '기호'라는 용어는 그 사상을 가리키며, 그 표시는 토큰 인스턴스(stoken)로 간주되기도 한다. 상징의

공식

수학 논리학이나 컴퓨터 과학에 사용되는 형식 언어에서, 잘 형성된 공식이나 단순한 공식은 특정한 형식 언어의 기호나 형성 규칙(정식 문법이라고도 함)을 사용하여 표현되는 관념, 추상화 또는 개념이다. 기호 $S$ $S$ 이 $S$ (가) 주어진 형식 문법 $G$ $G$ 과(와) 관련하여 잘 형성된 공식이라고 말하는 것은 $G$ $S$ $S$ 이 $)$ G {\ $displaystyle$ G $}$ 에 의해 생성된 언어에 속한다고 말하는 $S$ 것과 같다.

형식 시스템

형식 시스템은 일련의 추론 규칙 및/또는 공리로 구성된 연역 시스템과 함께 공식 언어다. 형식 시스템은 이전에 시스템에서 표현된 하나 이상의 다른 표현식에서 하나의 표현을 도출하기 위해 사용된다. 이러한 표현들을 공리(공리)라고 부르는데, 이전에 참이라고 여겨졌던 표현들의 경우, 또는 파생된 표현들의 경우에는 정리라고 한다. 형식 시스템은 그 내적 특성에 대해 공식화 및 연구될 수 있으며, 또는 외부 현상에 대한 설명(즉, 모델)으로 의도될 수도 있다.

정리

정리란 형식적인 시스템을 사용하여 도출되는 기호나 줄의 기호를 말한다. 기호의 끈은 시스템의 공리와 규칙의 논리적 귀결이다.

형식적 교정쇄

형식적 증명이나 파생은 한정된 명제 순서(정식 언어의 경우 잘 형성된 공식이라고 함)로, 각각은 공리이거나 추론 규칙에 의해 앞의 문장 순서에서 따르게 된다. 순서의 마지막 문장은 형식적인 체계의 정리다. 자연 공제의 개념은 증명 개념의 일반화다.^[3]

이론들

이론은 공식적인 언어로 된 문장 집합이다.

참고 항목

객체 이론

참조

^ Hunter, Geoffrey (1973-06-26). Metalogic: An Introduction to the Metatheory of Standard First Order Logic. University of California Press. p. 11. ISBN 978-0-520-02356-7.
^ Trask, R. L.; Trask, Robert Lawrence (1999). Key Concepts in Language and Linguistics. Psychology Press. p. 122. ISBN 978-0-415-15741-4.
^ 케임브리지 철학사전, 추론.

[1] Hunter, Geoffrey (1973-06-26). Metalogic: An Introduction to the Metatheory of Standard First Order Logic. University of California Press. p. 11. ISBN 978-0-520-02356-7.

[2] Trask, R. L.; Trask, Robert Lawrence (1999). Key Concepts in Language and Linguistics. Psychology Press. p. 122. ISBN 978-0-415-15741-4.

[3] 케임브리지 철학사전, 추론.

[1]

[2]

[3]

Search