to the above post. You can't pass an infinite positive in a system which can represent only finite numbers, however the different permutations of the state transitions could be infinite (or at least of a much larger order), so hence the point can you terminate the state transitions passing a finite number.
Anyways, Byron made a typo:
he was trying to prove
(x>0 && y>0 && x`=x && y`=y-1)
||
(x>0 && y>0 && y`=y-1 && x`=x)
what should be is the following, because the above two are the same, unless I forgot boolean algebra:
(x>0 && y>0 && x`=x && y`=y-1)
||
(x>0 && y>0 && x`=x-1 && y`=y)
Great stuff, I miss that in my day-to-day .NET life
