On Tuesday, 28 January 2014 at 16:29:24 UTC, Timon Gehr wrote:
_Now_ you mean finite. :o)
I just tried to make things easy…
(In any case, there is even an infinite number of programs that are not behaviourally equal but can be automatically proved to terminate by one and the same algorithm.)
Oh… don
