5.9 FS系统中的语义

在FS系统中,语义操作可以附加到状态或转换中。如果语义附加在状态中,则它一直都是有效的且是静态的。它可以控制某些设备面板上的指示器,或者保持电梯电机的运行。与状态相关联的语义也称为Moore语义(Moore [136])。

如果语义附加到转换中,则它仅在转换时以信号或过程调用的形式出现;它是动态的也是瞬时的。这个信号可以在咖啡机上放下一个纸杯或者切换铁路线;它的稳定性和静态性,由设备的物理结构来提供。过程调用可以告诉编译器中的词法分析器,令牌开始已经找到。与转换相关的语义也称为Mealy语义(Mealy [134])。

转换相关的语义由许多变体。当特定的转换si sj出现(Mealy [134])时,信号会出现;当特定令牌导致输入一个特定状态时( sj,其中是任意状态);当输入一个特定状态( sj*,McNaughton and Yamada [137]);当离开特定状态时(sj ∗);等等。关于这些差异不需要写太多。因此在阅读论文时,弄明白作者使用的那种约定很重要。当然通常情况下,哪种最合适就用哪种。

results matching ""

    No results matching ""