Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  introduce some restricted models of symport/antiport P systems that are used as acceptors (respectively, generators) of sets of tuples of non-negative integers and show that they characterize precisely the semilinear sets. Specifically,  prove that a set R ⊆ N κ  is accepted (respectively, generated) by a restricted system if and only if R is a semilinear set.  also show that slight extensions of the models will allow them to accept (respectively, generate) non-semilinear sets. In fact, for these extensions, the emptiness problem is undecidable.
['Oscar H. Ibarra', 'Sara Woodworth', 'Hsu-Chun Yen', 'Zhe Dang']
I am writing a research paper on a idea On symport/antiport P systems and semilinear sets
[{"from": "human", "value": "I am writing a research paper on a idea On symport/antiport P systems and semilinear sets"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  introduce some restricted models of symport/antiport P systems that are used as acceptors (respectively, generators) of sets of tuples of non-negative integers and show that they characterize precisely the semilinear sets. Specifically,  prove that a set R \u2286 N \u03ba  is accepted (respectively, generated) by a restricted system if and only if R is a semilinear set.  also show that slight extensions of the models will allow them to accept (respectively, generate) non-semilinear sets. In fact, for these extensions, the emptiness problem is undecidable."}]