Язык объекта - Object language - Wikipedia

An объектный язык это язык который является «объектом» изучения в различных областях, включая логика, лингвистика, математика, и теоретическая информатика. Язык, на котором говорят об объектном языке, называется метаязык. Объектный язык может быть формальный или же естественный язык.^{[нужна цитата ]}

Формы объектного языка

Формальные языки

Математическая логика и лингвистика использовать метаязыки, которые являются языками для описания природы других языков. В математической логике объектный язык обычно формальный язык. Язык, для описания которого используется метаязык, является объектным языком. Это называется так потому, что этот язык является предметом обсуждения с использованием метаязыка.

Например, тот, кто говорит: «По-французски вы говорите Bonjour для приветствия "использует английский как метаязык для описания объектного языка Французский.

Компьютерные языки

Есть два способа употребления термина объектный язык могут использоваться в вычислениях: язык, который является объектом формальной спецификации, и язык, который является объектом (целью) компилятора или интерпретатора.

Формальная спецификация

Компьютерные языки - это объектные языки метаязыка, в которых они Технические характеристики написано. В информатике это называется язык спецификации. Форма Бэкуса – Наура был одним из первых языков спецификации.

Когда компиляторы написаны с использованием таких систем, как lex и yacc, правила, которые пишет программист, очень похожи на формальную спецификацию, но считаются выполнение вместо. Много реализации языков программирования не совсем то же самое, что их спецификации, добавление функций или принятие проектных решений, зависящих от реализации.

Код объекта

На своем базовом уровне компьютеры действуют в соответствии с тем, что им дано, с помощью ограниченного набора инструкций, понятных им. Процессоры. В самых ранних компьютерах это означало, что программисты иногда составляли для программирования реальные единицы и нули. Поскольку для создания инструкций требуется значительная подготовка программистов (и терпение), более поздние компьютерные языки пошли на многое, чтобы упростить задачу программиста. Например, язык программирования высокого уровня может позволить программисту присвоить значение переменной без указания ячейки памяти или инструкции ЦП.

В этом контексте язык программирования высокого уровня - это язык источника, который затем переводится компилятор в объектный код что ЦП может читать напрямую. Этот объектный код является объектный язык, и варьируется в зависимости от того, какой процессор получает инструкции.

Язык объекта в этом контексте означает что-то вроде «объекта того, чего пытается достичь программист». Если исходный язык и объектные языки рассматриваются как формальные (логические) языки, компилятор делает следующее: интерпретировать исходный текст на целевой язык (это отличается от использования информатики интерпретируемый язык имея в виду тот, который нет составлено).

Язык объекта в этом контексте является синонимом язык перевода. Объектным языком перевода чаще всего является машинный язык, но может быть и другой язык, например язык ассемблера.

Поскольку объектным языком компиляции обычно был машинный язык, термин объектный файл стал обозначать файл, содержащий машинные инструкции, а иногда сама переведенная программа просто называется объект.

Язык объекта также не следует путать с объектно-ориентированный язык, который представляет собой тип компьютера язык программирования который превращает среду программиста в удобные объекты, которые можно использовать во что-то вроде перетаскивания мышью.

Выражения на объектном языке

Символы

А символ является идея, абстракция или же концепция, жетоны из которых могут быть знаки или конфигурация знаков, образующих определенный узор. Хотя обычно употребляемый термин «символ» относится иногда к символизируемой идее, а иногда к отметкам на листе бумаги или классной доске, которые используются для выражения этой идеи; в формальные языки учился в математика и логика, термин «символ» относится к идее, а знаки считаются жетон экземпляр символа.

Формулы

В формальных языках, используемых в математической логике и информатике, правильно сформированная формула или просто формула является идея, абстракция или же концепция который выражается через символы и правила формирования (также называемый формальная грамматика ) определенного формального языка. Сказать, что нить символов ${ displaystyle S}$ является правильно сформированной формулой относительно данной формальной грамматики ${ displaystyle G}$ эквивалентно сказать, что ${ displaystyle S}$ принадлежит к языку, созданному ${ displaystyle G}$ .

Формальные системы

А формальная система это формальный язык вместе с дедуктивная система который состоит из набора правила вывода и / или аксиомы. Формальная система используется для выводить одно выражение из одного или нескольких других выражений, ранее выраженных в системе. Эти выражения называются аксиомы, в случае тех, которые ранее считались правдой, или теоремы, в случае производных. Формальная система может быть сформулирована и изучена на предмет ее внутренних свойств или может быть задумана как описание (т. Е. модель ) внешних явлений.

Теоремы

А теорема это символ или строка символов, которая полученный используя формальная система. Строка символов представляет собой логическое следствие из аксиомы и правила системы.

Формальные доказательства

А формальное доказательство или же происхождение конечная последовательность предложения (называется правильные формулы в случае формальный язык ) каждый из которых является аксиома или следует из предыдущих предложений в последовательности на правило вывода. Последнее предложение в последовательности - это теорема из формальная система. Концепция чего-либо естественный вычет это обобщение концепции доказательства.^[1]

Теории

А теория это набор фразы в формальный язык.