|
for tape length
The new toString takes only one line and is a better reproduction of
the notation from Sudkamp, Languages and Machines, 1997.
The IterableClass functions now have ! on input types that are
iterated, so that these arguments are computed for sure.
There was a bug (!! index too large or the like) for some machines
that 'walked off the tape' on the right side. The tape is now auto-
matically extended with Nothing (blank) cells. When the machine
walks off the tape on the *left*, the machine still terminates
abnormally.
|
