构建有限状态机作为处理输入
有限自动机是一种抽象的计算设备。它是具有离散输入、输出、状态和一组状态转换的系统的数学模型,这些转换发生在来自字母表Σ的输入符号上。
有限自动机的形式化定义
有限自动机定义为一个五元组
M=(Q, ∑, δ,q0,F)
其中,
- Q - 有限集,称为状态。
- ∑ - 有限集,称为字母表。
- δ - Q ☓ ∑ → Q 是转移函数。
- q0 ∈ Q 是起始状态或初始状态。
- F - 终止状态或接受状态。
考虑一下地铁站的牡蛎卡闸机 -
状态 -
- 关闭
- 打开
转换 -
- 刷卡
- 进入闸门
成功 - 只有当顾客进入闸门时,才会扣款。
FSM 作为处理输入
让我们考虑一下地铁站牡蛎卡闸机的例子。为了显示交易是否被接受或拒绝,让我们考虑以下输入
接受状态
地铁站牡蛎卡闸机的接受状态如下所示 -
广告