On the power of P systems with DNA-worm-objects

被引:0
作者
Maté, JL
Rodríguez-Patón, A
Silva, A
机构
[1] Univ Politecn Madrid, Dept Languages & Software Engn, Fac Comp Sci, E-28660 Madrid, Spain
[2] Univ Politecn Madrid, Dept Artificial Intelligence, Fac Comp Sci, E-28660 Madrid, Spain
关键词
membrane computing; P systems; recursively enumerable languages;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We introduce a variant of P systems with string-objects - called worm-objects - inspired in the DNA computing area. These systems work with multisets; of string-objects processed by splitting, mutation, replication and recombination. This model is simpler (we eliminate the replication operation) and more realistic (the recombination operation is changed by the simpler one of suffix-prefix or head-tail concatenation developed in the DNA computing framework) than the previous one. The result of a computation is the set of strings sent out of the system. We work with multisets of strings but we generate languages instead of sets of numbers. We prove that, without priority among rules or other control mechanisms, (1) these P systems with at most three membranes can generate all recursively enumerable languages, (2) with non-decreasing length mutation and splitting rules, three membranes are enough to generate the family of context-sensitive languages, and (3) with these restricted types of splitting and mutation rules, four membranes can generate the family of recursively enumerable languages.
引用
收藏
页码:229 / 239
页数:11
相关论文
共 15 条
  • [1] [Anonymous], 1997, HDB FORMAL LANGUAGES, DOI DOI 10.1007/978-3-662-07675-0
  • [2] BARREIRO JM, 1998, ROMANIAN J INFORMATI, V4, P287
  • [3] Computing with membranes:: P systems with Worm-Objects
    Castellanos, J
    Paun, G
    Rodríguez-Patón, A
    [J]. SPIRE 2000: SEVENTH INTERNATIONAL SYMPOSIUM ON STRING PROCESSING AND INFORMATION RETRIEVAL - PROCEEDINGS, 2000, : 65 - 74
  • [4] Dassow J., 2000, Fundamenta Informaticae, V44, P353
  • [6] KRISHNA SN, 1999, ROMANIAN J INFORMATI, V4, P357
  • [7] MARTINVIDE C, 2000, P ALG SYST FORM LANG, P161
  • [8] MARTINVIDE C, 2000, B EATCS, V72, P183
  • [9] Paun G., 2001, Journal of Automata, Languages and Combinatorics, V6, P75
  • [10] Paun G., 2000, International Journal of Foundations of Computer Science, V11, P167, DOI 10.1142/S0129054100000090