metamath-turing-machines
metamath-turing-machines copied to clipboard
Question about the program counter
There is this variable pc_bits which seems to be set to 50 by default (?)
Does this mean that the maximum program counter value is limited?