Name
Abstract | ||
|---|---|---|
We study the computing power of a class of numerical P systems introduced in the framework of autonomous robot control, namely enzymatic numerical P systems. Three ways of using the evolution programs are investigated: sequential, all-parallel and one-parallel (with the same variable used in all programs or in only one, respectively); moreover, both deterministic and non-deterministic systems are considered. The Turing universality of some of the obtained classes of numerical P systems is proved (for polynomials with the smallest possible degree, one, also introducing a new proof technique in this area, namely starting the universality proof from the characterization of computable sets of numbers by means of register machines). The power of many other classes remains to be investigated. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1007/s00236-012-0166-y | Acta Inf. |
Keywords | Field | DocType |
Production Function, Robot Control, Computing Mode, Integer Coefficient, Robot Behavior | Discrete mathematics,Robot control,Polynomial,Computer science,Turing universality,Behavior-based robotics,Universality (philosophy),Autonomous robot | Journal |
Volume | Issue | ISSN |
49 | 6 | 1432-0525 |
Citations | PageRank | References |
13 | 0.73 | 7 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Cristian Ioan Vasile | 1 | 112 | 15.61 |
| Ana Brânduşa Pavel | 2 | 72 | 6.33 |
| Ioan Dumitrache | 3 | 73 | 16.62 |
| Gheorghe Paun | 4 | 2840 | 369.48 |