Mealy机的有效简化
摘要：重新访问具有反应综合功能的不完全规定的Mealy机的减少问题。我们提出了两种技术：前者受到MeMin工具的启发，解决了最小化问题；后者是一种新颖的方法，源于基于模拟的减少，但可能不能保证对机器进行最小化。然而，我们认为它在最终的Mealy机的大小和性能之间提供了一个足够好的折衷。所提出的方法在由众所周知的实例和新实例组成的大量测试用例上进行了基准测试。
作者：Florian Renkin (LRDE), Philipp Schlehuber-Caissier (LRDE), Alexandre Duret-Lutz (LRDE), Adrien Pommellet (LRDE)
论文ID：2206.10228
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-06-22