curettage 发表于 2025-3-28 16:18:47
http://reply.papertrans.cn/23/2230/222987/222987_41.png收集 发表于 2025-3-28 20:53:26
http://reply.papertrans.cn/23/2230/222987/222987_42.png创造性 发表于 2025-3-29 00:28:13
Welfare Professions and the LawWe define, as local quantities, the least energy and momentum allowed by quantum mechanics and special relativity for physical realizations of some classical lattice dynamics. These definitions depend on local rates of finite-state change. In two example dynamics, we see that these rates evolve like classical mechanical energy and momentum.Infuriate 发表于 2025-3-29 06:03:57
http://reply.papertrans.cn/23/2230/222987/222987_44.png留恋 发表于 2025-3-29 09:22:47
http://reply.papertrans.cn/23/2230/222987/222987_45.pngAPO 发表于 2025-3-29 14:35:12
http://reply.papertrans.cn/23/2230/222987/222987_46.png欢乐东方 发表于 2025-3-29 16:50:14
Groups and Monoids of Cellular Automata,We discuss groups and monoids defined by cellular automata on full shifts, sofic shifts, minimal subshifts, countable subshifts and coded and synchronized systems. Both purely group-theoretic properties and issues of decidability are considered.享乐主义者 发表于 2025-3-29 23:08:39
http://reply.papertrans.cn/23/2230/222987/222987_48.png健忘症 发表于 2025-3-30 02:37:25
Group-Walking Automata,In the setting of symbolic dynamics on discrete finitely generated infinite groups, we define a model of multi-headed finite automata that walk on Cayley graphs, and use it to define subshifts. We characterize the torsion groups (also known as periodic groups) as those on which the group-walking automata are strictly weaker than Turing machines.circuit 发表于 2025-3-30 07:52:27
Recognition of Linear-Slender Context-Free Languages by Real Time One-Way Cellular Automata,A linear-slender context-free language is a context-free language whose number of words of length . is linear in .. Its structure has been finely characterized in a work of Ilie, Rozenberg and Salomaa. Thanks to this characterization, we show that every linear-slender context-free language is recognizable by a real time one-way cellular automaton.