Multiset random context grammars, checkers, and transducers
作者： Matteo Cavaliere , Rudolf Freund , Marion Oswald , Dragoş Sburlan
DOI: 10.1016/J.TCS.2006.11.022
关键词:
摘要: We introduce a general model of random context multiset grammars as well the concept checkers and transducers. Our main results show how recursively enumerable sets finite multisets can be generated using these models computing; corresponding for antiport P systems are established, too.
us.es
core.ac.uk
elsevier.com
sci-hub.se 参考文章(18)
Gheorghe Paun, Mathematical Aspects of Natural and Formal Languages WORLD SCIENTIFIC. ,(1994) , 10.1142/2497
Gheorghe Păun, Carlos Martín-Vide, Andrei Păun, Grzegorz Rozenberg, Membrane systems with coupled transport: universality and normal forms Fundamenta Informaticae. ,vol. 49, pp. 1- 15 ,(2002)
Gheorghe Paun, Jrgen Dassow, Regulated rewriting in formal language theory ,(1989)
Handbook of Formal Languages Springer-Verlag. ,(1997) , 10.1007/978-3-642-59126-6
Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Gheorgh Păaun, Arto Salomaa, From Watson-Crick L systems to Darwinian P systems Natural Computing. ,vol. 2, pp. 299- 318 ,(2003) , 10.1023/A:1025415914487
Marion Oswald, Rudolf Freund, Modelling Grammar Systems by Tissue P Systems Working in the Sequential Mode Fundamenta Informaticae. ,vol. 76, pp. 305- 323 ,(2007)
Manfred Kudlek, Carlos Martín-Vide, Gheorghe PĂun, Toward a Formal Macroset Theory WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View. pp. 123- 134 ,(2000) , 10.1007/3-540-45523-X_7
Rudolf Freund, Gheorghe Păun, On the Number of Non-terminal Symbols in Graph-Controlled, Programmed and Matrix Grammars machines computations and universality. pp. 214- 225 ,(2001) , 10.1007/3-540-45132-3_14
Marion Oswald, Rudolf Freund, GP Systems with Forbidding Context Fundamenta Informaticae. ,vol. 49, pp. 81- 102 ,(2002)
Carlos Martín-Vide, Gheorghe Păun, Juan Pazos, Alfonso Rodríguez-Patón, Tissue P systems Theoretical Computer Science. ,vol. 296, pp. 295- 326 ,(2003) , 10.1016/S0304-3975(02)00659-X