近日，我院软件与安全团队教师杨超与学生吴蕊伶在计算机科学理论领域顶级期刊《Information and Computation》发表了题为“Relative approximate bisimulations for fuzzy picture automata”的研究论文(https://www.sciencedirect.com/science/article/abs/pii/S0890540124000373)。

该论文基于经典的图片自动机，首次定义了模糊图片自动机及其识别的模糊图片语言。为描述两个模糊图片自动机所识别的模糊图片语言之间的相似性以及研究模糊图片自动机的近似极小化问题，本研究提出了相对近似互模拟关系的概念。对于一个模糊图片自动机，本研究给出了计算其所有极大相对近似互模拟关系的算法。通过这些极大相对近似互模拟关系，构造了与原模糊图片自动机语言相似的状态数最少的商自动机。

据悉，中国计算机学会计算机科学理论方向推荐A类期刊仅有三个，包含《Information and Computation》。该期刊前身为《Information and Control》，于1957年创刊，于1987年改名为《Information and Computation》。