The Wolfram Atlas of Simple Programs The Wolfram Atlas of Simple Programs

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

 Axiom systems 
Some axiom system

   © 2008 Wolfram Research, Inc.