Mealy 机

Mealy 机器是一种机器，其中输出符号取决于机器的当前输入符号和当前状态。 在 Mealy 机器中，输出与每个输入符号一起表示，对于每个状态，由 / 分隔。 Mealy 机器可以用 6 个元组 (Q, q0, ∑, O, δ, λ') 描述，其中

示例 1

为二元输入序列设计一个 Mealy 机器，如果它有一个子字符串 101，则机器输出 A，如果输入有子字符串 110，则输出 B，否则输出 C。

解决方案：对于设计这样的机器，我们将检查两个条件，即 101 和 110。如果我们得到 101，则输出将为 A。如果我们识别出 110，则输出将为 B。对于其他字符串，输出将为 C。

部分图将是

现在我们将插入每个状态的 0 和 1 的可能性。 因此，Mealy 机器变为

示例 2

设计一个 Mealy 机器，它扫描 0 和 1 的输入序列，如果输入字符串以 00 结尾，则生成输出 'A'，如果字符串以 11 结尾，则生成输出 'B'，否则生成输出 'C'。

解决方案：Mealy 机器将是