这个语义有什么作用？

Question

我正在大学里通过 While 编程语言学习语义。

论文：第 3 章 While 编程语言。 2012 年希拉里学期

这里是一个教育机构，链接here

问题：我不明白 第 4 页 试图解释什么，在这部分：s[k 7→ n](l) = ... picture of page

我认为：如果内存位置 L 与内存位置 K 相同，则返回数字 n，否则执行 s(L) 以返回内存位置 L 中的任何数字。 p>

我对标签感到非常抱歉，但这个话题太高级了，我很难知道它是什么！

Answer 1

我咨询了我的教授，我最初的想法是正确的，这是从上面的问题中复制的答案：

如果内存位置 L 与内存位置 K 相同，则 返回数字 n，否则执行 s(L) 以返回任何数字 在内存位置 L。

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