Go backward to Example Go up to Top Go forward to Logic Evaluator |
Bogus recursive definition:
*: N x N -> N x * y := if y = 0 then 0 else x + x * (y+1)
Reduction sequence:
2*3 = 2+(2*4) = 2+(2+2*5) = 2+(2+(2+(2*6))) = ...
No termination function can be given.