ANO informatics coding

EVE <A>, from (T1), to (T2) (T3), /; /*T1導致(產生)事件A,使T2與T3知道*/
TELL <A>, from (T2), to (T4), /; /*T2告訴T4A事件發生*/
ASK <A>, from (T4), to (T3), (T3) telled (T4) [== true ==]; /*T4向T3確定A事件,T3告訴T4A事件為真。*/

88x31.png ©双馨社 | 授权指南