Формальная модель синтаксиса ЯСУ

из "Ситуационное управление теория и практика "

Наконец, словарь содержал 7 операций-решений, которые могла принимать система управления запустить в производство снять с производства получить оснастку, материалы, приспособления выдать оснастку, материалы, приспособления отремонтировать оборудование перевести рабочего... на деталь-операцию... объявить субботу рабочей. [c.61]
Этот пример еще раз демонстрирует, что словарь базовых отношений зависит от специфики задачи куда меньше, чем словари базовых понятий и операций-решений. [c.61]
Отметим также, что при переходе от описаний, использующих естественный язык, к описаниям на ЯСУ не всегда можно провести четкую границу между понятиями и свойствами, а также свойствами и операциями. Столь же неформальна и граница между отношениями и операциями и отношениями и свойствами. Это позволяет проектировщику системы с учетом тех или иных прагматических соображений относить те или иные элементы к нужному виду лексики. [c.61]
Синтаксис ЯСУ можно задать формальным способом, как делается при задании множества базовых элементов и синтаксических правил в формальных системах или при задании синтаксиса языков программирования для ЭВМ. [c.61]
Определение 2.1. Множество X= xt , где х — любые малые буквы латинского алфавита кроме d, f, i, т, п, о, р, v, a i пробегает натуральный ряд, есть. множество базовых понятий ЯСУ. [c.61]
Определение 2.2. Множество / = fj , где / пробегает натуральный ряд, называется множеством имен понятий ЯСУ. [c.61]
Определение 2.3. Множество D = dt , где i пробегает натуральный ряд, называется множеством действий (операций) ЯСУ. [c.61]
Определение 2.4. Множество V = vi , где i пробегает натуральный ряд, называется множеством свойств понятий (объектов) и действий ЯСУ. [c.61]
Определение 2.5. Множество l = m,- , где i пробегает натуральный ряд, называется множеством модификаторов ЯСУ. [c.61]
Определение 2.6. Множество х = гДе г пробегает натуральный ряд, называется множеством квантификаторов ЯСУ. [c.61]
Определение 2.7. Множество 0= о, , где i пробегает натуральный ряд, называется множеством оценок ЯСУ. В это множество входят, в частности, все действительные числа. [c.61]
Определение 2.8. Множество F— /, , где i пробегает натуральный ряд, называется множеством модальностей ЯСУ. [c.61]
О п р е д е л е н и е 2.12. Множество D = m,dj , где tnt g М, а dj D, называется множеством модифицированных действий ЯСУ. [c.62]

Вернуться к основной статье