0

我正在努力从交错程序图的转换系统中定义原子命题。

初始状态包含内容

(l1,l2,l3,x=3)

从经典基本自动售货机的过去示例中，包含的状态soda使 AP ={paid} 这是直截了当的。

但是我不确定如何为包含位置和变量的状态定义 AP

4

0 回答 0