Cтраница 1
Старая верхушка стека - должна сравниваться с верхушкой стека. [1]
Редукции проверяются последовательно с целью сравнения поля старой верхушки стека с фактической верхушкой стека до тех пор, пока это сравнение не будет удачным. [2]
Программы интерпретации - должны вызываться в том случае, если старая верхушка стека соответствует верхушке стека. [3]