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

 Systems Based on Constraints 
Some constraint system

   © 2008 Wolfram Research, Inc.