5.9 FS系统中的语义

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

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

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