> whereas in true spaghetti code each state would be able to pass to all the others. An n-state s-symbol TM can transition to n other states at most (or halt).

> whereas in true spaghetti code each state would be able to pass to all the others. An n-state s-symbol TM can transition to n other states at most (or halt). Thus, for s=4 or s=2, only the smallest of TMs could be spaghetti like.