这个语义有什么作用？
What does this semantic do?
我在大学通过 While 编程语言学习语义。
论文：第3章While编程语言。希拉里任期 2012
这是一个教育机构 link here
问题：我不明白第4页试图解释什么，在这部分：s[k 7→ n](l) = ...
picture of page
我认为：如果内存位置L与内存位置K相同则return数字n，否则做s(L)到return 内存位置 L 中的任何数字。
对于这些标签，我感到非常抱歉，但是这个主题太高级了，我很难知道它是什么！
我和我的教授核实过，我原来的想法是正确的，这里是从上面的问题中复制的答案：
If the memory location L is the same as the memory location K then
return the numeral n, otherwise do s(L) to return whatever numeral is
in memory location L.
感谢所有反对的选民 :-)。
我在大学通过 While 编程语言学习语义。
论文：第3章While编程语言。希拉里任期 2012
这是一个教育机构 link here
问题：我不明白第4页试图解释什么，在这部分：s[k 7→ n](l) = ...
picture of page
我认为：如果内存位置L与内存位置K相同则return数字n，否则做s(L)到return 内存位置 L 中的任何数字。
对于这些标签，我感到非常抱歉，但是这个主题太高级了，我很难知道它是什么！
我和我的教授核实过，我原来的想法是正确的，这里是从上面的问题中复制的答案：
If the memory location L is the same as the memory location K then return the numeral n, otherwise do s(L) to return whatever numeral is in memory location L.
感谢所有反对的选民 :-)。