这个语义有什么作用？

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 中的任何数字。

感谢所有反对的选民:-)。