通过因子化系统的极小性概念及示例
摘要：在最小化基于状态的系统（即减少状态数量而保留系统语义）中，有两个明显的方面：移除系统中不必要的状态和合并系统中的冗余状态。在本文中，我们通过定义最小化的抽象概念，将这两个最小化方面与余代数联系起来。 最小化的抽象概念和最小化生存在一个具有分解系统的一般范畴中。我们将找到在此范畴上的标准，确保最小化方面的唯一性、存在性和函子性。这些结果的证明实例化为标准余代数文献中可达性和可观测性最小化的证明结果。最后，我们将看到最小化的这两个方面如何相互作用，以及在哪些标准下它们可以按照任意顺序进行排序，就像自动机最小化一样。
作者：Thorsten Wi{ss}mann
论文ID：2202.05701
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22