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

Материал из WikiGrapp
Перейти к:навигация, поиск

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

Литература

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