47、有限状态机与标记迁移系统：基础概念与应用

有限状态机与标记迁移系统：基础概念与应用

1. 有限状态机基础

有限状态机中的米利机是一个五元组 (M = ⟨I, O, S, δ, λ⟩)，各部分含义如下：
- (I) 和 (O) 分别是有限非空的输入符号集和输出符号集。
- (S) 是有限非空的状态集。
- (δ : S × I → S) 是状态转移函数。
- (λ : S × I → O) 是输出函数。

米利机在任意时刻处于状态 (s ∈ S)，当施加输入符号 (a) 时，会产生输出符号 (λ(s, a)) 并转移到新状态 (δ(s, a))。它可以用有向标记图表示，其中 (S) 是顶点集，对于每个状态 (s ∈ S) 和输入符号 (a ∈ I)，存在一条从 (s) 到 (δ(s, a)) 的边，边标记为 “(a/b)”，这里 (b = λ(s, a))。

米利机的状态转移和输出函数可以从输入符号扩展到输入符号序列。给定输入序列 (x = a_1a_2 · · · a_k ∈ I^ )，从状态 (s_1) 开始，机器依次转移到状态序列 (s_2, s_3, …, s_{k + 1})，其中 (s_{i + 1} = δ(s_i, a_i))，并产生输出符号序列 (b_1b_2 · · · b_k ∈ O^ )，其中 (b_i = λ(s_i, a_i))。更精确的递归定义如下：
- (δ(s, ε) = s)
- (δ(s, xa) = δ(δ(s, x), a))
- (λ(s, ε) = ε)
- (λ(s, xa) = λ(s, x)λ(δ(s, x), a))

状态转移和输出函数还可以从状态扩展