P systems with energy accounting

被引:0
作者
Paun, G
Suzuki, Y
Tanaka, H
机构
[1] Romanian Acad Sci, Inst Math, Bucharest 70700, Romania
[2] Tokyo Med & Dent Univ, Med Res Inst Bioinformat, Tokyo 1130034, Japan
关键词
molecular computing; turing computability; P systems;
D O I
暂无
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
We consider P systems where each evolution rule "produces" or "consumes" some quantity of energy, in amounts which are expressed as integer numbers. In each moment and in each membrane the total energy involved in an evolution step should be positive, but if "too much" energy is present in a membrane, then the membrane will be destroyed (dissolved). We show that this feature is rather powerful. In the case of multisets of symbol-objects we find that systems with two membranes and arbitrary energy associated with rules, or with arbitrarily many membranes and a bounded energy associated with rules, characterize the recursively enumerable sets of vectors of natural numbers (catalysts and priorities are used). In the case of string-objects we have only proved that the recursively enumerable languages can be generated by systems with arbitrarily many membranes and bounded energy; when bounding the number of membranes and leaving free the quantity of energy associated with each rule we have only generated all matrix languages. Several research topics are also pointed out.
引用
收藏
页码:343 / 364
页数:22
相关论文
共 22 条
  • [1] [Anonymous], 1999, ROMAN J INF SCI TECH
  • [2] [Anonymous], 1997, HDB FORMAL LANGUAGES, DOI DOI 10.1007/978-3-662-07675-0
  • [3] CALUDE C, 2000, COMPUTING CELLS ATOM, pCH3
  • [4] 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
  • [5] Dassow J., 2012, Regulated Rewriting in Formal Language Theory
  • [6] FREUND R, 2000, P C DNA6 LEID, P113
  • [7] PETRI-NET ALGORITHMS IN THE THEORY OF MATRIX GRAMMARS
    HAUSCHILDT, D
    JANTZEN, M
    [J]. ACTA INFORMATICA, 1994, 31 (08) : 719 - 728
  • [8] ITO M, 2000, UNPUB CHARACTERIZATI
  • [9] Krishna SN., 2000, INT J COMPUT MATH, V77, P1
  • [10] MARTINVIDE C, 2000, P ALG SYST FORM LANG, P161