https://machgine.blogspot.com/2023/05/non-deterministic-turing-machine.html