理解操作语义

Question

我有这个推导

(b,σ)→false  (skip,σ)→σ

(if b then c;w else skip)→σ

（上面一行是前提，下面一行是表达式）

表达的意思是：

如果 b 为 True，则执行命令 c，否则执行 w 并跳过，

或

如果 b 为 True，则执行命令 c 和命令 w，否则跳过。

中间的分号让我很困惑？！

另外，为什么我不必在前置条件中包含 c ？

谢谢。

Answer 1

这只是回答了您的部分问题，但是：c 不包含在前提条件中，因为它不依赖于前提条件。我也无法理解第二行中的w。此外，这个问题可能与主题无关，因为它更多地是关于计算机科学而不是实际编程。

Answer 2

每个操作语义都不一样，问题没有指定上下文，所以我只能猜测答案。

我会将if b then c; w else skip 解析为if b then {c; w} else skip，即问题的第二种解释。推导似乎是关于b 为假的情况，因此未提及c，因为如果b 为假，则不会执行c。相反，skip 被提及是因为它已被执行。