Насыщающая разметка

Материал из WEGA
Перейти к навигации Перейти к поиску

Насыщающая разметка (Acceptable assignment) — такая стационарная разметка [math]\displaystyle{ \,R }[/math], что [math]\displaystyle{ B \sqsubseteq R }[/math] для любой стационарной разметки [math]\displaystyle{ \,B }[/math].

Литература

  • Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.