报告题目：Zero-forcing Finite Automata

报告人：Prof. Mohammad Mehdi Zahedi

报告时间：2024年5月7日（周二）10:00

报告地点：20-404（第一会议室）

报告摘要: The current study aims to establish a connection between graphs and automata theory, which apparently demonstrate different mathematical structures. Through searching out some properties of one of these structures, we try to find some new properties of the other structure as well. This will result in obtaining some unknown properties. At first, a novel automaton called zero-forcing (Z-F) finite automata is defined according to the notion of a zero-forcing set of a graph. It is shown that for a given graph and for some zero forcing sets, various Z-F-finite automata will be obtained. In addition, the language and the closure properties of Z-F-finite automata, in particular; union, connection, and serial connection are studied. Moreover, considering some properties of graphs such as the closed trail, connected and complete; some new features for Z-F-finite automata are presented. Further, it is shown that there is not any finite graph such that f be a part of the language of its Z-F-finite automata. Actually, it is proved that for every given graph, the Z-F-finite automata of it does not show any closed trail containing all edges for every zero forcing set, but if the graph G has been a closed trail containing all edges, then the Z-F-finite automata of it has a weak closed trail containing all edges. Some examples are also given to clarify these new notions.

 报告人简介：Mohammad Mehdi Zahedi, is full professor at the Graduate University of Advanced Technology, Kerman, Iran. He is currently, Editor in-Chief and Founder of “Iranian Journal of Fuzzy Systems” and “Journal of Algebraic Hyperstructures and Logical Algebras”, editorial board of four international journals and one of member of Parliament in Iran. He has published more than 200 papers in the international journals and has been the supervisor of more than 20 Ph.D students. He has been a top researcher at the university four times. He has obtained Superior Professor of Universities of Ministry of Science, Research and Technology、Top Ph.D. Thesis in Mathematics in the First Math. Festival of Tehran University and Honorary Medal of International Festival of Kharazmi as the Minister of Science. His main scientific interests are Algebras ( General Algebra, Logical and Ordered Algebras, Fuzzy Algebras Algebraic Hyper-structures), Machine Theory and Automata.

（穆罕默德·梅迪·扎赫迪是伊朗克尔曼市先进技术研究生院的全职教授。他目前是“伊朗模糊系统杂志”和“代数超结构和逻辑代数杂志”的主编和创始人，四个国际期刊的编辑委员会成员，以及伊朗议会议员。曾在国际期刊上发表了200多篇论文，并担任了20多名博士生的导师。曾四次成为该大学的顶尖研究人员。他曾获得了科学、研究和技术部优秀大学教授、德黑兰大学第一届数学节最佳数学博士论文奖以及作为科学部长的哈拉兹米国际节荣誉奖章。其主要科研方向是代数（一般代数、逻辑和有序代数、模糊代数代数超结构）、机械理论和自动机。）