ГОСТ Р ИСО 18629-13-2011
(= max+ (duration ?t inf+)))
8 Теория автоморфизма дерева элементов
Теорияавтоморфизмадереваэлементовделаетаксиоматичной
интуитивные представления относительно ограничений, в которых допустимые
элементы одной операции зависят от элементов других операций.
8.1 Примитивные отношения в теории автоморфизма дерева
элементов
В нелогической лексике теории автоморфизма дерева элементов один
примитивный символ отношения, а именно:
- ubiquitous (повсеместный).
8.2 Определяющие отношения в теории автоморфизма дерева
элементов
Нелогическая лексика теории автоморфизма дерева элементов содержит
три определяющих символа отношений, а именно:
- end ИСО;
- legal тар;
- tree тар.
8.3 Связь с другими группами аксиом
Требуемые базовые теории —это:
- pslcore.th;
- occtree.th;
- atomic .th;
- complex.th;
- actocc.th.
Требуемое дефинициональное расширение теории —это:
- осс j)recond.def.
8.4Неформальнаясемантикатеорииавтоморфизмадерева
элементов
23