Что делает эта семантика?

Question

Я изучаю семантику с помощью языка программирования While в моем университете.

Статья: Глава 3 Язык программирования While.Хиларский термин 2012

Вот учебное заведение со ссылкой здесь

Вопрос: Я не понимаю, что страница 4 пытается объяснить в этой части: s[k 7→ n](l) = ... изображение страницы

Я думаю: , если область памяти L совпадает с областью памяти Kзатем верните число n, в противном случае выполните s (L), чтобы вернуть любое число, находящееся в ячейке памяти L.

Мне очень жаль теги, но эта тема настолько сложна, что мне сложно понять, что это такое!

Answer 1

Я проверил у своего профессора, и мое первоначальное мышление было правильным, вот ответ, скопированный с вопроса выше:

Если ячейка памяти L совпадает с ячейкой памяти K, тогда вернитецифра n, в противном случае выполните s (L), чтобы вернуть любую цифру в ячейке памяти L.

Спасибо всем опущенным избирателям :-).