https://schinema.blogspot.com/2023/03/binary-addition-turing-machine.html