Title :
Symport/antiport P systems with look-ahead mode
Author :
Jiang, Yun ; Wang, Shuo ; Xu, Jinbang
Author_Institution :
Dept. of Control Sci. & Eng., Huazhong Univ. of Sci. & Technol., Wuhan, China
Abstract :
The look-ahead is a forbidding condition formalized by a set of forbidden rules that are checked after all assignment of objects to rules are done. The look-ahead mode can decrease the inherent non-determinism of P systems and helps to the practical implementation of P systems on computers. In this work, the computational power of P systems with symport/antiport rules working in the look-ahead mode are investigated. Communication P systems with 3 membranes and the weight of symport and antiport rules being 2 and 1, respectively, working in the look-ahead mode, can recognize any recursively enumerable languages; a characterization of context-sensitive languages is obtained by communication P systems with 2 membranes working in the look-ahead mode.
Keywords :
biocomputing; context-sensitive languages; communication P systems; context-sensitive languages; forbidden rules; look-ahead mode; recursively enumerable languages; symport/antiport P systems; Biomembranes; Variable speed drives;
Conference_Titel :
Bio-Inspired Computing: Theories and Applications (BIC-TA), 2010 IEEE Fifth International Conference on
Conference_Location :
Changsha
Print_ISBN :
978-1-4244-6437-1
DOI :
10.1109/BICTA.2010.5645200