and Vector Addition Systems Oscar H. Ibarra University of California Zhe Dang ...  Home/Search
Context
Related
| wsu.edu/~zdang/papers/catalytic.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wsu.edu/~zdang/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We look at 1-region membrane computing systems which only use rules of the form Ca ! Cv, where C is a catalyst, a is a noncatalyst, and v is a (possibly null) string of noncatalysts. There are no rules of the form a ! v. Thus, we can think of these systems as "purely" catalytic. We consider two types: (1) when the initial configuration contains only one catalyst, and (2) when the initial configuration contains multiple catalysts. We show that systems of the first type are equivalent to... (Update)
Active bibliography (related documents): More All
2.4: Characterizations of Catalytic Membrane - Computing Systems Extended (Correct)
2.0: On P Systems Operating in Sequential Mode - Zhe Dang And (Correct)
0.8: Theoretical Computer Science 312 (2004) 379 -- 399.. - Oscar Ibarra Zhe (Correct)
Similar documents based on text: More All
0.3: Counter Machines and Verification Problems - Ibarra, Su, Dang, Bultan.. (Correct)
0.3: Counter Machines: Decidable Properties and.. - Ibarra, Su, Dang.. (2000) (Correct)
0.3: Eliminating the Storage Tape in Reachability Constructions - Ibarra, Dang (Correct)
BibTeX entry: (Update)
@misc{ addition-catalytic,
author = "And Vector Addition",
title = "Catalytic P Systems, Semilinear Sets,",
url = "citeseer.ist.psu.edu/695854.html" }
Citations (may not include all citations):1911 Introduction to Automata theory (context) - Hopcroft, Ullman - 1979
159 The chemical abstract machine (context) - Berry, Boudol - 1990
64 On context-free languages (context) - Parikh - 1966
51 Reversal-bounded multicounter machines and their decision pr.. (context) - Ibarra - 1978
43 Recursive unsolvability of Post's problem of Tag and other t.. (context) - Minsky - 1961
42 Computing with membranes - Paun - 2000
42 Computing with membranes - Martin-Vide, Paun - 2055
42 Computing with membranes - Paun - 2000
29 commutative context-free grammars (context) - Esparza - 1995
23 the reachability problem for 5-dimensional vector addition s.. (context) - Hopcroft, Pansiot - 1979
19 The equality problem for vector addition systems is undecida.. (context) - Hack - 1975
12 Persistence of vector replacement systems is decidable (context) - Mayr - 1981
9 Commutative grammars: The complexity of uniform word problem.. (context) - Huynh - 1983
9 Rabin's proof of the undecidability of the reachability set .. (context) - Baker - 1973
8 the power of membrane computing - Dassow, Paun - 1999
5 Membrane Computing: an Introduction (context) - Paun - 2002
3 A guide to membrane computing (context) - Paun, Rozenberg - 2002
3 Systems without priorities are computationally universal (context) - Sosik, Freund - 2003
3 Simulating counter automata by P System with symportantiport (context) - Jan, counter et al. - 2003
3 Membrane system with promoterinhibitor (context) - Vide, Paun et al. - 2002
3 System with activatedprohibited membrane channel (context) - Oswald, activated et al. - 2003
2 systems without priorities: two catalysts are sufficient (context) - Freund, Kari et al. - 2003
2 A partial solution to the reachability problem for vector ad.. (context) - van Leeuwen
1 Reducing the number of catalysts needed in computationally u.. (context) - Freund, Oswald et al. - 2003
Documents on the same site (http://www.eecs.wsu.edu/~zdang/index.html): More
Binary Reachability Analysis of Pushdown Timed Automata with Dense .. - Dang (Correct)
On Presburger Liveness of Discrete Timed Automata - Dang, Pietro, Kemmerer (2001) (Correct)
Decidable Approximations on Generalized and Parameterized .. - Dang, Ibarra, Kemmerer (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC