Markov Algorithm

An Algorithm which constructs allowed mathematical statements from simple ingredients.