Go backward to Functional and Fixed Point Go up to Top Go forward to q Function

q Function

Q = lambda q. lambda n. n equals zero
    ->one [] q(n plus one)

Q⁰(_|_) = (lambda n. _|_)
graph(Q⁰(_|_)) = { }

Q¹(_|_) = lambda n. n equals zero
    ->one [] (lambda n. _|_)(n plus one)
= lambda n. n equals zero ->one [] _|_
graph(Q¹(_|_)) = {(zero, one)}

Q²(_|_) = Q(Q¹(_|_)) = lambda n. n equals zero
    ->one [] ((n plus one) equals zero ->one [] _|_)
graph(Q²(_|_)) = {(zero, one)}