构建有限状态机作为处理输入


有限自动机是一种抽象的计算设备。它是具有离散输入、输出、状态和一组状态转换的系统的数学模型,这些转换发生在来自字母表Σ的输入符号上。

有限自动机的形式化定义

有限自动机定义为一个五元组

M=(Q, ∑, δ,q0,F)

其中,

  • Q - 有限集,称为状态。
  • ∑ - 有限集,称为字母表。
  • δ - Q ☓ ∑ → Q 是转移函数。
  • q0 ∈ Q 是起始状态或初始状态。
  • F - 终止状态或接受状态。

考虑一下地铁站的牡蛎卡闸机 -

状态 -

  • 关闭
  • 打开

转换 -

  • 刷卡
  • 进入闸门

成功 - 只有当顾客进入闸门时,才会扣款。

FSM 作为处理输入

让我们考虑一下地铁站牡蛎卡闸机的例子。为了显示交易是否被接受或拒绝,让我们考虑以下输入

接受状态

地铁站牡蛎卡闸机的接受状态如下所示 -

更新于:2021年6月16日

405 次浏览

启动您的职业生涯

完成课程获得认证

开始
广告