A boundary result on enhanced time-varying distributed H systems with parallel computations

Theoretical Computer Science

Volumn 344, Issue 2-3, 2005, Pages 226-242

  Verlan, Sergey ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

Formal languages; Molecular computing; Splicing systems; Universal computations

Indexed keywords

COMPUTER SIMULATION; DNA; PARALLEL PROCESSING SYSTEMS; TIME VARYING SYSTEMS;

FORMAL LANGUAGES; MOLECULAR COMPUTING; SPLICING SYSTEMS; UNIVERSAL COMPUTATIONS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 27644590533     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.03.056     Document Type: Article

References (17)

1. T. Head Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors Bull. Math. Biol. 49 6 1987 737 759
2. T. Head, G. Pǎun, D. Pixton, Language theory and molecular genetics, generative mechanisms suggested by DNA recombination, in: G. Rozenberg, A. Salomaa (Eds.), Handbook of Formal Languages, Vol. 1-3, pp. 295-360.
3. J. Hopcroft, R. Motwani, and J. Ullman Introduction to Automata Theory, Languages, and Computation second ed. 2001 Addison-Wesley Reading, MA
4. M. Margenstern, Y. Rogozhin, About time-varying distributed H systems, in: A. Condon, G. Rozenberg (Eds.), DNA Computing: Sixth Internat. Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000, Revised Papers, Vol. 2054 of Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, New York, 2000, pp. 53-62.
5. M. Margenstern, Y. Rogozhin, Extended time-varying distributed H systems - universality result, in: Proc. of the Fifth World Multi-Conference on Systemics, Cybernetics and Informatics, Industrial Systems, SCI 2001, Orlando, Florida USA, July 22-25, 2001, Vol. IX, 2001.
6. M. Margenstern, Y. Rogozhin, Time-varying distributed H systems of degree 1 generate all recursively enumerable languages, in: M. Ito, G. Pǎun, S. Yu (Eds.), Words, Semigroups, and Transductions, World Scientific, Singapore, 2001, pp. 329-340. Festschrift in Honor of Gabriel Thierrin.
7. M. Margenstern, Y. Rogozhin, S. Verlan, Time-varying distributed H systems of degree 2 can carry out parallel computations, in: M. Hagiya, A. Ohuchi (Eds.), DNA Computing: Eighth Internat. Workshop on DNA-Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002. Revised Papers, Vol. 2568 of Lecture Notes in Computer Science, Hokkaido University, Springer, Berlin, Heidelberg, New York, 2002, pp. 326-336.
8. M. Margenstern, Y. Rogozhin, S. Verlan, Time-varying distributed H systems with parallel computations: the problem is solved, in: J. Chen, J. Reif (Eds.), DNA Computing: Ninth Internat. Workshop on DNA-Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003. Revised Papers, Vol. 2943 of Lecture Notes in Computer Science, Springer, 2004, pp. 48-53.
9. G. Pǎun Regular extended H systems are computationally universal JALC 1 1 1996 27 36
10. G. Pǎun, DNA computing: distributed splicing systems, in: J. Mycielsky, G. Rozenberg, A. Salomaa (Eds.), Structures in Logic and Computer Science. A Selection of Essays in Honor of A. Ehrenfeucht, Vol. 1261 of Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, New York, 1997, pp. 351-370.
11. G. Pǎun DNA computing based on splicing: universality results Theoret. Comput. Sci. 231 2 2000 275 296
12. G. Pǎun, G. Rozenberg, and A. Salomaa DNA Computing: New Computing Paradigms 1998 Springer Berlin, Heidelberg, New York
13. G. Rozenberg, and A. Salomaa Handbook of Formal Languages Vol. 1-3 1997 Springer Berlin, Heidelberg, New York
14. S. Verlan, On extended time-varying distributed H systems, in: Preproc. at Sixth International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000, p. 281, Poster.
15. S. Verlan On enhanced time-varying distributed H systems Comput. Sci. J. Moldova 10 3 2002 263 279 Kishinev
16. S. Verlan, A frontier result on enhanced time-varying distributed H systems with parallel computations, in: Preproc. of DCFS'03, Descriptional Complexity of Formal Systems, Budapest, Hungary, July 12-14, 2003, pp. 221-232.
17. S. Verlan, Head systems and applications to bio-informatics, Ph.D. Thesis, University of Metz, 2004.