这种语义是做什么的？

Question

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

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

这是一家教育机构，其链接为here

问题：在此部分，我不理解第4页试图解释的内容：s[k 7→ n](l) = ... picture of page

我认为：如果存储位置L与存储位置K相同，则返回数字n，否则执行s（L）返回存储位置L中的任何数字。

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

Answer 1

我与我的教授核对后，我最初的想法是正确的，这是从以上问题中复制的答案：

  

如果存储位置L与存储位置K相同，则   返回数字n，否则执行s（L）返回任何数字   在内存位置L中。

感谢所有失望的选民:-)。