Предложена и исследуется немарковская модель поведения стека, когда вероятность операции, которая будет произведена со стеком на следующем шаге, зависит от того, какая операция была произведена на текущем шаге. Предложены теоретически оптимальные алгоритмы управления стеком в двухуровневой памяти.
