我正在通过我大学的While编程语言学习语义。
论文：第3章The While编程语言。希拉里一词2012
这是一个教育机构，链接here
问题：我不明白第4页试图解释的是什么：s[k 7→ n](l) = ... picture of page
我认为：如果内存位置L与内存位置K相同则返回数字n，否则执行s（L）返回内存位置L中的任何数字。
我对这些标签感到非常抱歉，但这个主题非常先进，我很难知道它是什么！
我和我的教授检查过，我原来的想法是正确的，这里是从上面的问题中复制的答案：
如果存储器位置L与存储器位置K相同则返回数字n，否则返回s（L）以返回存储器位置L中的任何数字。
感谢所有失败的选民:-)。