Насыщающая разметка: различия между версиями
Перейти к навигации
Перейти к поиску
KEV (обсуждение | вклад) (Новая страница: «'''Насыщающая разметка''' (''Acceptable assignment'') — такая стационарная разметка…») |
(нет различий)
|
Текущая версия от 11:51, 13 мая 2011
Насыщающая разметка (Acceptable assignment) — такая стационарная разметка [math]\displaystyle{ \,R }[/math], что [math]\displaystyle{ B \sqsubseteq R }[/math] для любой стационарной разметки [math]\displaystyle{ \,B }[/math].
Литература
- Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.