Turing Sandbox is a simulation puzzle game where levels are solved by building turing machines, you can also build them purely as part of the sandbox.