Go backward to ExampleGo up to TopGo forward to Logic Evaluator |

Bogus recursive definition:

*: NxN->Nx*y:=ify= 0then0elsex+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.*

Author: Wolfgang Schreiner

Last Modification: October 14, 1999