论文标题
有效减少Mealy机器
Effective Reductions of Mealy Machines
论文作者
论文摘要
我们重新审查了减少未完全指定的梅利机器的问题，并考虑了反应性合成。我们提出了两种技术：前者的灵感来自工具膜并解决了最小化问题，后者是一种从基于模拟的减少的新方法，但可能无法保证最小化的机器。但是，我们认为它在由此产生的Mealy机器和性能的大小之间提供了足够好的折衷方案。提出的方法是针对梅明（Memin）的基准测试，这些方法是由众所周知的实例和新实例制成的大量测试案例。
We revisit the problem of reducing incompletely specified Mealy machines with reactive synthesis in mind. We propose two techniques: the former is inspired by the tool MeMin and solves the minimization problem, the latter is a novel approach derived from simulationbased reductions but may not guarantee a minimized machine. However, we argue that it offers a good enough compromise between the size of the resulting Mealy machine and performance. The proposed methods are benchmarked against MeMin on a large collection of test cases made of well-known instances as well as new ones.
