简单程序的阿特拉斯 简单程序的阿特拉斯

System Categories Cellular Automata Turing Machines Mobile Automata Substitution Systems Tag Systems Register Machines Symbolic Systems Systems Based on Numbers Network Systems Multiway Systems Systems Based on Constraints Axiom Systems
简单程序的阿特拉斯

沃尔夫拉姆研究公司



γ