WolframAlpha computational knowledge AI
3,2 TM rule 2139050