wf本质论：有限状态自动机

     有限状态机（Finite State Machine）又称有限状态自动机或简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。

                                           

 

      状态存储关于过去的信息，就是说：它反映从系统开始到现在时刻的输入变化。转移指示状态变更，并且用必须满足来确使转移发生的条件来描述它。动作是在给定时刻要进行的活动的描述。有多种类型的动作:

进入动作
在进入状态时进行
退出动作
在退出状态时进行
输入动作
依赖于当前状态和输入条件进行
转移动作
在进行特定转移时进行

数学模型

 

依据类型不同有多种定义。接受器有限状态机是五元组 (Σ,S,s0,δ,F)，这里的:

  • Σ 是输入字母表(符号的非空有限集合)。
  • S 是状态的非空有限集合。
  • s0 是初始状态，它是 S 的元素。在非确定有限状态自动机中，s0 是初始状态的集合。
  • δ 是状态转移函数: \delta: S \times \Sigma \rightarrow S。
  • F 是最终状态的集合，S 的(可能为空)子集。

变换器有限状态自动机是六元组 (Σ,Γ,S,s0,δ,ω)，这里的:

  • Σ 是输入字母表(符号的非空有限集合)。
  • Γ 是输出字母表(符号的非空有限集合)。
  • S 是状态的非空有限集合。
  • s0 是初始状态，它是 S 的元素。在非确定有限状态自动机中，s0 是初始状态的集合。
  • δ 是状态转移函数: \delta: S \times \Sigma \rightarrow S。
  • ω 是输出函数。

如果输出函数是状态和输入字母表的函数 (\omega: S \times \Sigma \rightarrow \Gamma)，则定义对应于 Mealy 模型，它可以建模为 Mealy机。如果输出函数只依赖于状态 (\omega: S \rightarrow \Gamma)，则定义对应于 Moore 模型，它可建模为 Moore机。根本没有输出函数的有限状态机叫做半自动机或转移系统。

 

WF的有限状态自动机

Sorry, couldn't find any translationPlease support us by using Babylon search engine

posted @ 2008-10-17 14:26  badapple  阅读(1250)  评论(0)  编辑  收藏  举报