Что такое семантика в информатике

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

Формальная семантика, например, помогает писать компиляторы, лучше понять, что делает программа, и доказать, например, что следующие если заявление

имеет тот же эффект, что и S1 один.

Содержание

Обзор

Область формальной семантики включает в себя все следующее:

Подходы

Есть много подходов к формальной семантике; они принадлежат к трем основным классам:

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

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

Вариации

Некоторые варианты формальной семантики включают следующее:

Описание отношений

По разным причинам кто-то может захотеть описать отношения между различной формальной семантикой. Например:

Также возможно связать множественную семантику через абстракции через теорию абстрактная интерпретация.

Источник

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

Формальная семантика, например, помогает писать компиляторы, лучше понять, что делает программа, и доказать, например, что следующие если заявление

имеет тот же эффект, что и S1 один.

Содержание

Обзор

Область формальной семантики включает в себя все следующее:

Подходы

Есть много подходов к формальной семантике; они принадлежат к трем основным классам:

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

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

Вариации

Некоторые варианты формальной семантики включают следующее:

Описание отношений

По разным причинам кто-то может захотеть описать отношения между различной формальной семантикой. Например:

Также возможно связать множественную семантику через абстракции через теорию абстрактная интерпретация.

Источник

Семантика в программировании

Сема́нтика — в программировании — система правил определения поведения отдельных языковых конструкций. Семантика определяет смысловое значение предложений алгоритмического языка.

См. также

* Семантическая паутина
* Семантика вычислений

Смотреть что такое «Семантика в программировании» в других словарях:

Семантика — в программировании система правил истолкования отдельных языковых конструкций. Семантика определяет смысловое значение предложений алгоритмического языка. По английски: Semantics См. также: Языки программирования Финансовый словарь Финам.… … Финансовый словарь

семантика — Раздел языкознания, исследующий с семиотических (семиотика – наука о знаках и знаковых системах) позиций смыслы и значения единиц языка (слов, предложений и др.), его выражений и логических форм, участвующих в его порождении, построении и… … Справочник технического переводчика

Семантика (программирование) — Для термина «Семантика» см. другие значения. Семантика в программировании дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей. В качестве инструментов… … Википедия

Семантика функции — Интерфейс прикладного программирования (англ. Application Programming Interface, API [эй пи ай]; по русски чаще произносят [апи]) набор готовых констант, структур и функций, используемых при программировании пользовательских приложений и… … Википедия

Присваивание — Присваивание механизм в программировании, позволяющий динамически изменять связи объектов данных (как правило, переменных) с их значениями. Строго говоря, изменение значений является побочным эффектом операции присвоения, и во многих… … Википедия

Присваивание (программирование) — Содержание 1 Определение присваивания 1.1 Алгоритм работы оператора присваивания … Википедия

Присвоение (программирование) — Содержание 1 Определение присваивания 1.1 Алгоритм работы оператора присваивания … Википедия

НЛП — Нейролингвистическое программирование (НЛП) (англ. Neuro linguistic programming) (также встречается вариант «нейро лингвистическое программирование») комплекс моделей, техник и операционных принципов (контекстуально зависимых убеждений),… … Википедия

Нейро-лингвистическое программирование — Нейролингвистическое программирование (НЛП) (англ. Neuro linguistic programming) (также встречается вариант «нейро лингвистическое программирование») комплекс моделей, техник и операционных принципов (контекстуально зависимых убеждений),… … Википедия

Нлп — Нейролингвистическое программирование (НЛП) (англ. Neuro linguistic programming) (также встречается вариант «нейро лингвистическое программирование») комплекс моделей, техник и операционных принципов (контекстуально зависимых убеждений),… … Википедия

Источник

Семантика функции

Интерфейс прикладного программирования (англ. Application Programming Interface, API [эй-пи-ай]; по-русски чаще произносят [апи́]) — набор готовых констант, структур и функций, используемых при программировании пользовательских приложений и обеспечивающих правильное взаимодействие между пользовательским приложением и операционной системой.

Содержание

API как средство интеграции приложений

API определяет функциональность, которую предоставляет программа (модуль, библиотека), при этом API позволяет абстрагироваться от того, как именно эта функциональность реализована.

Если программу (модуль, библиотеку) рассматривать как чёрный ящик, то API — это множество «ручек», которые доступны пользователю данного ящика, которые он может вертеть и дёргать.

Программные компоненты взаимодействуют друг с другом посредством API. При этом обычно компоненты образуют иерархию — высокоуровневые компоненты используют API низкоуровневых компонентов, а те, в свою очередь, используют API ещё более низкоуровневых компонентов.

По такому принципу построены протоколы передачи данных по Internet. Стандартный протокол Internet (сетевая модель OSI) содержит 7 уровней (от физического уровня передачи пакетов бит до уровня протоколов приложений, подобных протоколам IMAP). Каждый уровень пользуется функциональностью предыдущего уровня передачи данных и, в свою очередь, предоставляет нужную функциональность следующему уровню.

Важно заметить, что понятие протокола близко по смыслу к понятию API. И то и другое является абстракцией функциональности, только в первом случае речь идёт о передаче данных, а во втором — о построении компьютерных приложений.

API библиотеки функций и классов включает в себя описание сигнатур и семантики функций.

Сигнатура функции

Сигнатура функции — часть общего объявления функции, позволяющая средствам трансляции идентифицировать функцию среди других. В различных языках программирования существуют разные представления о сигнатуре функции, что также тесно связано с возможностями перегрузки функции в этих языках.

Иногда различают сигнатуру вызова и сигнатуру реализации функции. Сигнатура вызова обычно составляется по синтаксической конструкции вызова функции с учётом сигнатуры области видимости данной функции, имени функции, последовательности фактических типов аргументов в вызове и типе результата. В сигнатуре реализации обычно участвуют некоторые элементы из синтаксической конструкции объявления функции: спецификатор области видимости функции, её имя и последовательность формальных типов аргументов.

Например, в языке программирования Си++ простая функция однозначно опознаётся компилятором по её имени и последовательности типов её аргументов, что составляет сигнатуру функции в этом языке. Если функция является методом некоторого класса, то в сигнатуре будет участвовать и имя класса.

Семантика функции

Семантика функции — это описание того, что данная функция делает. Семантика функции включает в себя описание того, что является результатом вычисления функции, как и от чего этот результат зависит. Обычно результат выполнения зависит только от значений аргументов функции, но в некоторых модулях есть понятие состояния. Тогда результат функции может зависеть от этого состояния, и, кроме того, результатом может стать изменение состояния. Логика этих зависимостей и изменений относится к семантике функции. Полным описанием семантики функций является исполняемый код функции или математическое определение функции.

API операционных систем. Проблемы, связанные с многообразием API

Практически все операционные системы (Unix, Windows, Mac OS, и т. д.) имеют API, с помощью которого программисты могут создавать приложения для этой операционной системы. Главный API операционных систем — это множество системных вызовов.

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

С другой стороны, отличия в API различных операционных систем существенно затрудняют перенос приложений между платформами. Существуют различные методы обхода этой сложности — написание «промежуточных» API (API графических интерфейсов Gtk, и т. п.), написание библиотек, которые отображают системные вызовы одной ОС в системные вызовы другой ОС (такие среды исполнения, как cygwin, и т. п.), введение стандартов кодирования в языках программирования (например, стандартная библиотека языка C), написания интерпретируемых языков, реализуемых на разных платформах (python, php, Java, и т. д.)

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

Например: для того, чтобы увидеть в браузере строчку «Hello, world!» достаточно лишь создать документ? Программа-браузер передаст имя файла (или уже открытый дескриптор файла) библиотеке, обрабатывающей HTML-документы, та, в свою очередь, при помощи API операционной системы прочитает этот файл, и разберётся в его устройстве, затем последовательно вызовет через API библиотеки стандартных графических примитивов операции типа «очистить окошко», «написать выбранным шрифтом Hello, world!», при этих операциях библиотека графических примитивов обратится к библиотеке оконного интерфейса с соответствующими запросами, уже эта библиотека обратится к API операционной системы с запросами вида «а положи-ка мне в буфер видеокарты вот это».

При этом практически на каждом из уровней реально существует несколько возможных альтернативных API. Например: мы могли бы писать исходный документ не на LaTeX, для отображения могли бы использовать любой браузер. Различные браузеры, вообще говоря, используют различные HTML-библиотеки, и, кроме того, всё это может быть (вообще говоря) собрано с использованием различных библиотек примитивов и на различных операционных системах.

Основными сложностями существующих многоуровневых систем API, таким образом, являются:

Источник

Что такое семантика? Значения термина и примеры

Слово семантика пришло из древнегреческого языка: σημαντικός sēmantikos, что означает «значительная», и как термин оно было впервые использовано французским филологом и историком Мишелем Бреалем.

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

Что такое семантика

Эта наука изучает лингвистический и философский смысл языка, языков программирования, формальных логик, семиотики и проводит анализ текста. Она связана отношением:

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

Формальный анализ семантики пересекается со многими другими областями исследования, включая:

Само собой разумеется, определение семантики также является чётко определённой областью в своём праве, часто с синтетическими свойствами. В философии языка, семантика и ссылка тесно связаны. Дальнейшие смежные области включают филологию, связь и семиотику.

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

Лингвистика

В лингвистике семантика — это подполе, посвящённое изучению смысла, присущее уровням слов, фраз, предложений и более широким единицам дискурса (анализ текста или повествования). Изучение семантики также тесно связано с субъектами представления, ссылки и обозначения. Основное исследование здесь ориентировано на изучение значения знаков и изучение отношений между различными лингвистическими единицами и соединениями такими как:

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

Монтагская грамматика

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

Несмотря на свою элегантность, грамматика Монтегю была ограничена зависящей от контекста изменчивостью в смысле слова и привела к нескольким попыткам включения контекста.

По Монтегю язык — это — не набор ярлыков, привязанных к вещам, а набор инструментов, важность элементов которых заключается в том, как они функционируют, а не в их привязанности к вещам.

Конкретным примером этого явления является семантическая неопределённость, значения не являются полными без некоторых элементов контекста. Ни одно слово не имеет значения, которое может быть идентифицировано независимо от того, что ещё находится в его окрестностях.

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

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

Истинно-условная семантика

Ещё одна формализованная теория, созданная философом Дональдом Дэвидсоном. Целью этой теории является связывание каждого предложения естественного языка с описанием условий, при которых оно истинно, например: «снег белый» является истинным тогда и только тогда, когда снег белый. Задача состоит в том, чтобы прийти к истинным условиям для любых предложений из фиксированных значений, назначенных отдельным словам, и фиксированных правил их объединения.

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

Концептуальная семантика

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

Лексическая семантика

Лингвистическая теория, которая исследует смысл слова. Эта теория понимает, что смысл слова полностью отражается на его контексте. Здесь смысл слова состоит в его контекстуальных отношениях. То есть любая часть предложения, которая имеет смысл и сочетается со значениями других составляющих, обозначается как семантическая составляющая.

Вычислительная семантика

Вычислительная семантика ориентирована на обработку лингвистического значения. Для этого описаны конкретные алгоритмы и архитектура. В этих рамках алгоритмы и архитектуры также анализируются, с точки зрения разрешимости, сложности времени / пространства, требуемых структур данных и протоколов связи.

Искусственная семантика

Искусственная семантика – это группа поисковых ключевых слов и фраз для создания контента, то есть создание семантического ядра, которое может привлечь внимание к контенту или поднять посещаемость веб-ресурса и т. д. В основном искусственная семантика или семантика текста используется для создания контента, рекламы.

Семантика онлайн

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

Значение концепций логики описания и ролей определяется их теоретико-модельной семантикой, основанной на интерпретациях. Понятия, свойства и отношения, определённые в онтологиях, могут быть развёрнуты непосредственно в разметке веб-сайта, в базах данных графов в виде триггеров. Семантика языков программирования и других языков является важной проблемой и областью изучения информатики. Разработаны различные способы описания языков программирования формально, основываясь на математической логике.

Семантические модели

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

В сети, анализ слова, структуры ссылок и декомпозиции сети немногочисленны и включают часть, вид и подобные ссылки. В автоматизированных онтологиях ссылки вычисляются векторами без явного значения. Разрабатываются различные автоматизированные технологии для вычисления значения слов: латентные семантические индексирование и векторные машины поддержки, а также обработка естественного языка, нейронные сети и методы исчисления предикатов.

Психология

В психологии семантическая память — это память для смысла — другими словами, аспект памяти, который сохраняет только суть, общее значение запоминаемого опыта, в то время как эпизодическая память — это память для эфемерных деталей — отдельные особенности или уникальных особенностей опыта. Термин «эпизодическая память» был введён Тулвигом и Шактером в контексте «декларативной памяти», которая включала в себя простое объединение фактической или объективной информации об объекте.

Воспоминания могут быть переданы поколением или изолированы в одном поколении из-за культурного разрушения. У разных поколений могут быть разные переживания в подобных точках в их собственных временных линиях. Это может создать вертикально разнородную семантическую сеть для определённых слов в однородной культуре.

Источник