Evolution and observation—a non-standard way to generate formal languages

作者: Matteo Cavaliere , Peter Leupold

DOI: 10.1016/J.TCS.2004.03.036

关键词:

摘要: In biology and chemistry a standard proceeding is to conduct an experiment, observe its progress, then take the result of this observation as final output. Inspired by this, we have introduced P/O systems (A. Alhazov, C. Martin-Vide, Gh. Paun, Pre-Proc. Workshop on Membrane Computing 2003, Tarrragona, Spain; http://pizarro.fll.urv.es/continguts/linguistica/ proyecto/reports/wmc03.html), where languages are generated multiset automata that evolution membrane systems.Now apply approach also more classical devices formal language theory. Namely, use finite observing derivations grammars or Lindenmayer systems. We define several modes operation for grammar/observer two these context-free grammar (or even locally commutative grammar) with automaton observer suffices generate any recursively enumerable language. third case, obtain class between context-sensitive ones.

参考文章(14)
Artiom Alhazov, Matteo Cavaliere, Computing by Observing Bio-systems: The Case of Sticker Systems DNA Computing. pp. 1- 13 ,(2005) , 10.1007/11493785_1
Gheorghe Paun, Jrgen Dassow, Regulated rewriting in formal language theory ,(1989)
P.R.J. Asveld, On Controlled Iterated GSM Mappings and Related Operations Revue Roumaine de Mathematiques Pures et Appliquees. pp. 139- 145 ,(1980)
Vincenzo Manca, Carlos Martin-Vide, Gheorghe Päun, Iterated GSM Mappings: A Collapsing Hierarchy Jewels are Forever. pp. 182- 193 ,(1999) , 10.1007/978-3-642-60207-8_16
Lila Kari, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa, Sheng Yu, DNA computing, sticker systems, and universality ? Acta Informatica. ,vol. 35, pp. 401- 420 ,(1998) , 10.1007/S002360050125
Rajeev Motwani, John E. Hopcroft, Jeffrey D. Ullman, Rotwani, Introduction to Automata Theory, Languages, and Computation ,(1979)
Lucian Ilie, Arto Salomaa, 2-Testability and Relabelings Produce Everything Journal of Computer and System Sciences. ,vol. 56, pp. 253- 262 ,(1998) , 10.1006/JCSS.1997.1548
Taekjip Ha, Single-molecule fluorescence resonance energy transfer. Methods. ,vol. 25, pp. 78- 86 ,(2001) , 10.1006/METH.2001.1217