先决条件 – Mealy 和 Moore 机器
Mealy 机器——Mealy 机器被定义为计算理论中的机器,其输出值由其当前状态和当前输入决定。在这台机器中最多可以进行一次转换。
它有 6 个元组:(Q, q0, ∑, O, δ, λ’)
Q 是有限状态集
q0 是初始状态
∑ 是输入字母
O 是输出字母表
δ 是映射 Q×∑ → Q 的转移函数
‘λ’ 是映射 Q×∑→ O 的输出函数
图表 –
摩尔机——摩尔机被定义为计算理论中的机器,其输出值仅由其当前状态决定。
它也有 6 个元组:(Q, q0, ∑, O, δ, λ)
Q 是有限状态集
q0 是初始状态
∑ 是输入字母
O 是输出字母表
δ 是映射 Q×∑ → Q 的转移函数
λ 是映射 Q → O 的输出函数
图表 –
摩尔机——
- 输出仅取决于当前状态。
- 如果输入改变,输出也会改变。
- 需要更多的状态。
- 电路实现的硬件要求较少。
- 它们对输入的反应较慢(一个时钟周期后)。
- 同步输出和状态生成。
- 输出放在状态上。
- 易于设计。
磨粉机——
- 输出取决于当前状态以及当前输入。
- 如果输入改变,输出也会改变。
- 需要较少的状态。
- 电路实现对硬件的要求更高。
- 他们对输入的反应更快。
- 异步输出生成。
- 输出放置在转换上。
- 很难设计。