%0 Generic
%D 2015
%T P systems based computing polynomials: Design and formal verification
%A Weitao Yuan
%A Gexiang Zhang
%A Mario J. Pérez-Jiménez
%A Tao Wang
%A Zhiwei Huan
%K automatic design
%K Membrane computing
%K P system
%K polynomial
%P 1-9
%S Proceedings of the Asian Conference on Membrane Computing (ACMC 2015)
%U http://www.cs.us.es/~marper/investigacion/P%20system%20solving%20polynomial%20problem.pdf
%V 1
%X Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the previous work that used evolutionary algorithms to fulfill the task, this paper presents the design of a simple (deterministic transition) P system (without input membrane) of degree 1, capturing the value of the korder (k ≥ 2) polynomial by using a reasoning method. Specifically, the values of polynomial p(n) corresponding to a natural number t is equal to the multiplicity of a distinguished object of the system (the output object) in the configuration at instant t. We also discuss the descriptive computational resources required by the designed k-order polynomial P system
%8 11/2015