从python中的FSM状态表生成布尔表达式

问题描述

我有一个相当大的状态机，其中包含以下状态表：

这已经是通过espresso运行了，所以原图很大。输入和转换是 y 和 n，输出是 d。

我正在寻找一种工具，该工具可以使用乘积总和为每个输出生成布尔表达式。我找到了几种可以生成真值表的工具，然后从那里生成表达式 (pyeda,pypi)，但到目前为止还没有找到适用于我下面的“自定义”真值表的东西。我不想填写整个真值表，因为它会很大，而且这些都是我关心的状态和转换。

有人知道一个已经存在的好工具吗？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）