具有前瞻性模式的正/反端口P系统

2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA) Pub Date : 2010-11-29 DOI:10.1109/BICTA.2010.5645200

Y. Jiang, Shuo Wang, Jinbang Xu

{"title":"具有前瞻性模式的正/反端口P系统","authors":"Y. Jiang, Shuo Wang, Jinbang Xu","doi":"10.1109/BICTA.2010.5645200","DOIUrl":null,"url":null,"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.","PeriodicalId":302619,"journal":{"name":"2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Symport/antiport P systems with look-ahead mode\",\"authors\":\"Y. Jiang, Shuo Wang, Jinbang Xu\",\"doi\":\"10.1109/BICTA.2010.5645200\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":302619,\"journal\":{\"name\":\"2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA)\",\"volume\":\"13 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-11-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/BICTA.2010.5645200\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/BICTA.2010.5645200","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

前瞻性是一组被禁止的规则，在完成所有对象对规则的赋值后检查这些规则。预判模式可以降低P系统固有的不确定性，有助于P系统在计算机上的实际实现。本文研究了具有正/反规则的P系统在前视模式下的计算能力。通信P系统具有3个膜，正、反规则权值分别为2和1，工作在前视模式下，可以识别任何递归可枚举的语言;上下文敏感语言的特征是通过具有2个膜的通信P系统在前瞻性模式下工作获得的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Symport/antiport P systems with look-ahead mode

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA)

自引率

0.00%

发文量