Mealy机器的顺序组合中尾部的最小化和综合
摘要：Mealy机器的顺序组合的系统的两个相关问题的研究：头和尾。对于第一个问题，头和尾组件的模型都可获得，目标是用最少数量的状态替换尾部。我们引入了一种针对这种情况的最小化方法，其在现有技术的基础上提供了指数级的改进。对于第二个问题，只有头部是已知的，并且给定了整个系统的期望模型。目标是构建一个尾部，使得系统按照给定的模型运行。我们展示了，虽然在多项式时间内可以决定是否存在这样的尾部，但在一些情况下，其大小与头部和期望系统的大小成指数关系。这表明合成过程的复杂性至少是指数级的，与现有方法解决未知组件方程所提供的复杂性上界相匹配。
作者：Alberto Larrauri, Roderick Bloem
论文ID：2105.10292
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-10-08