问题描述
我明天要考试，我需要你的帮助来了解我做错了什么，我的书有以下问题：
设计一个最小 FSM (Mealy)，对于某些自然 n，输出 1 iff u(t)-v(t)=3n，其中：
u(t) 是到目前为止的 1 位数，v(t) 是收到的 0 位数。
这本书仅使用 3 Staes 给出了一个答案，我不明白这怎么可能，所以我去编写自己的机器并尝试将其最小化以查看是否得到相同的结果。
我声明了 5 个状态：
- T - 0 的数量等于 1 的数量。
- 0+ - 0 的数量比 1 的数量大 1。
- 1+ - 1 的数量比 0 的数量大 1。
- 0++ - 0 的数量比 1 的数量大 2。
- 1++ - 1 的数量比 0 的数量大 2。
所以我的桌子看起来像：
Current State | x=0,z | x=1,z
T 0+,0 1+,0
1+ T,0 1++,0
1++ 1+,0 T,1
0+ 0++,0 T,0
0++ T,1 0+,0
但是当我最小化它时，我得到：
P0 = (T,1+,1++,0+,0++)
P1 = (0++)(1++)(T,0+)
p2 = (0++)(1++)(T)(1+)(0+)
这意味着状态不能最小化。
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）