There are probabilistic programs that terminate with probability 1, but with an average of infinitely many steps.
-
-
Yes. That was precisely the example the lecturer used.
-
Would this also do it? Where N is any Nat. for (n = 0; n < N; n++);
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.