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

Question

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

Документ: Глава 3 Пока язык программирования. Хиларский семестр 2012

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

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

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

Я очень сожалею о тегах, но эта тема настолько продвинута, что мне трудно понять, что это такое!

Answer 1

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

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

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