模糊自动机之间的模糊模拟与双模拟
摘要：模糊完全剩余格上的两个模糊自动机之间的模拟和双模拟由"Ciri"c等人(2012)定义为自动机状态集之间的模糊关系。然而，它们作为自动机之间的清晰关系。特别是，如果两个模糊自动机之间存在(正向)双模拟，则它们所识别的模糊语言是确定的相等的。Stanimirovi"c等人(2020)引入的近似模拟和双模拟旨在模糊化这种现象。然而，它们只适用于完全Heyting代数上的模糊自动机，并且不能给出自动机状态之间的确切关系。在本文中，我们引入并研究了完全剩余格上的模糊模拟和双模拟之间的模糊自动机。这些概念是新颖的，并具有良好的性质。它们适用于任何完全剩余格上的模糊自动机。我们证明模糊自动机识别的模糊语言在模糊模拟和模糊双模拟下被模糊保持，并在模糊模拟和模糊双模拟下是模糊不变的。我们还证明了模糊模拟和双模拟的Hennesy-Milner性质，这是两个模糊自动机之间最大模糊模拟或双模拟的逻辑特征。此外，我们提供了结果表明我们的模糊模拟和双模拟概念比"Ciri"c等人引入的模拟和双模拟概念以及Stanimirovi"c等人引入的近似模拟和双模拟概念更通用和精细。
作者：Linh Anh Nguyen
论文ID：2205.01955
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-05-05