学术报告第201704期

报告题目：Determinism in P systems

报 告 人：Artiom Alhazov博士（摩尔多瓦科学院高级研究员）

报告时间： 2017年2月10日（星期五）上午10：00

报告地点： 南一楼中311室

Abstract: Membrane computing with symbol-objects is a theoretical framework of distributed maximally parallel multiset processing. The main focus of study of membrane systems, also called P systems, is their computational power, i.e., ability to transform initial data into final data. In particular, P system can accepts sets of numbers or vectors, or compute functions. Due to non-determinism, they can also generate sets of numbers, vectors or words. However, deterministic P systems are easier to analyze, since for accepting one input or computing one value of a function is enough to inspect one computation, not many. This talk describes selected results how determinism affects the computational power. Depending on the model, it may make

a difference between computational completeness and non-completeness, or larger rules are needed to achieve the same goal, or probably more membranes; in other cases there might be no such gap. Such models, features and properties are mentioned in the talk as strong determinism, cooperative systems, catalysts, bi-stable catalysts, non-cooperative systems, promoters, inhibitors, priorities, evolution-communication, proton pumping, symport/antiport and others.

Biography: Artiom Alhazov is a Dr. Habil., Leading researcher of Institute of Mathematics and Computer Science, Academy of Science of Moldova. He obtained his PhD in Theoretical Computer Science from institute of Mathematics and Computer Science(IMI), academy of Sciences of Moldova (ASM), Chişinău in 2006. He heads Formal Languages and Applications, Information Systems at research Group on Mathematical Linguistics, Tarragona, Spain since 2003. He is a postdoctor in Computational Biomodelling Laboratory, Åbo Akademi University, Turku, Finland during 2007, then in Foundation of Computer Science Lab, Hiroshima University, Higashi-Hiroshima, Japan from 2008 to 2010. His main research areas are parallel distributed multiset/string processing, and research results have been published by over 20 international journals and over 35 in conferences of publication, including talks at over 20 conferences abroad. His publication could be obtained at http://aartiom.50webs.com/pub_aa.html