Hemoptysis 发表于 2025-3-25 12:38:38
http://reply.papertrans.cn/63/6209/620814/620814_23.pngexpeditious 发表于 2025-3-25 16:12:13
http://reply.papertrans.cn/63/6209/620814/620814_24.png蛤肉 发表于 2025-3-25 20:23:46
Computing with Membranes (P Systems): Universality Resultsh symbol-objects and with string-objects; in the latter case, we consider systems based on rewriting, splicing, as well as rewriting together with other operations (replication, crossingover), with sets or with multisets of strings. Besides recalling characterizations of recursively enumerable languFsh238 发表于 2025-3-26 03:55:51
A Simple Universal Logic Element and Cellular Automata for Reversible Computingices based on microscopic physical law in the near future. In this paper, we focus on a problem how universal computers can be built from primitive elements with very simple reversible rules. We introduce a new reversible logic element called a “rotary element”, and show that any reversible Turing mMangle 发表于 2025-3-26 04:29:59
The Equivalence Problem for Computational Models: Decidable and Undecidable Casesthe most-used models of computer programs, give a brief overview of the attempts to refine the boarder between decidable and undecidable cases of the equivalence problem for these models, and discuss the techniques for proving the decidability of the equivalence problem.MIME 发表于 2025-3-26 10:38:23
Two Normal Forms for Rewriting P Systems we consider Rewriting P Systems which use electrical charges to move objects between the membranes. We show that electrical charges, a feature introduced in order to obtain more “realistic” systems, induces simple systems: we define two normal forms for two variants of Rewriting P Systems which makCRACK 发表于 2025-3-26 14:04:12
On a Conjecture of Kůrka. A Turing Machine with No Periodic ConfigurationsTuring machine — when seen as a dynamical system on the space of its configurations — has at least one periodic orbit. In this paper, we provide an explicit counter-example to this conjecture. We also consider counter machines and prove that, in this case, the problem of determining if a given machiBrocas-Area 发表于 2025-3-26 19:26:27
http://reply.papertrans.cn/63/6209/620814/620814_30.png贞洁 发表于 2025-3-27 00:05:54
http://reply.papertrans.cn/63/6209/620814/620814_31.pngObserve 发表于 2025-3-27 02:11:52
http://reply.papertrans.cn/63/6209/620814/620814_32.png