Parse and execute Tuing machines