Water-Brash 发表于 2025-3-28 16:42:20

http://reply.papertrans.cn/63/6209/620811/620811_41.png

Nutrient 发表于 2025-3-28 20:43:07

Universality of Graph-controlled Leftist Insertion-deletion Systems with Two Statessymbol at a time. We start by introducing extended rules, in which the contexts may be specified as regular expressions, instead of fixed words. We then prove that leftist systems with such extended rules and two-state graph control can simulate any arbitrary 2-tag system. Finally, we show how our c

CORD 发表于 2025-3-29 02:40:55

http://reply.papertrans.cn/63/6209/620811/620811_43.png

1分开 发表于 2025-3-29 03:36:52

http://reply.papertrans.cn/63/6209/620811/620811_44.png

提名的名单 发表于 2025-3-29 08:37:57

An Intrinsically Universal Family of Causal Graph Dynamics time-steps, with respect to two physics-like symmetries: causality (there exists a bounded speed of information propagation) and shift-invariance (the rewriting acts everywhere the same). Intrinsic universality is the ability of the instance of a model to simulate all other instances, while preserv

残忍 发表于 2025-3-29 11:50:30

http://reply.papertrans.cn/63/6209/620811/620811_46.png

痛得哭了 发表于 2025-3-29 17:37:17

http://reply.papertrans.cn/63/6209/620811/620811_47.png

dilute 发表于 2025-3-29 20:20:09

Universality in Infinite Petri Nets expanding traversals of the cell array. One net is obtained via direct simulation of the cellular automaton while the other net simulates a Turing machine, which simulates the cellular automaton. They use cell models of 21 and 14 nodes, respectively, and simulate the cellular automaton in polynomia

工作 发表于 2025-3-30 02:19:40

http://reply.papertrans.cn/63/6209/620811/620811_49.png

Initial 发表于 2025-3-30 05:55:13

http://reply.papertrans.cn/63/6209/620811/620811_50.png
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Machines, Computations, and Universality; 7th International Co Jerome Durand-Lose,Benedek Nagy Conference proceedings 2015 Springer Interna