ГОСТ Р ИСО 18629-44 - 2011
[ИСО 18629-1]
3.1.3 дефинициональное расширение (definitional extension): Расширение ядра
PSL,представляющееновыелингвистическиепонятия,которыемогутбыть
определены с помощью терминов ядра PSL.
Примечание - Дефинициональные расширения не добавляют выразительную силу
ядру PSL и используются для подробного описания семантики и терминологии в области
применения.
(ИСО 18629-1]
3.1.4расширение(extension):РасширениеядраPSL,содержащее
дополнительные аксиомы.
Примечание 1 - Ядро PSL представляет собой относительно простой набор аксиом,
достаточныйдляпредставленияширокогокругаосновныхпроцессов.Однакодля
представления более сложных процессов требуются дополнительные ресурсы, отсутствующие в
ядре PSL. Ядро PSL с каждым понятием следует использовать для описаний того или иного
процесса, а для описания разнообразных модульных расширений следует использовать
расширение и дополнения ядра PSL. В этом случае пользователь может использовать такой
язык, который соответствует требованиям к выразительности.
Примечание 2 - Все расширения являются теориями ядра или дефинициональными
расширениями.
[ИСО 18629-1]
3.1.5 грамматика (grammar): Правила совместного использования логических
символови словарных терминов длясоставленияточно сформулированных
аналитических выражений.
(ИСО 18629-1]
3.1.6 язык (language): Сочетание лексики и грамматики.
(ИСО 18629-1]
3