Go backward to q Function Go up to Top Go forward to Recursive Specifications

q Function

• Convergence has occured

  graph(Qⁱ(_|_)) = {(zero, one)}, i >= 1

• Resulting graph

  union_i=0^oo graph(Qⁱ(_|_)) = {(zero, one)}

• Fix point property

  Q(qlimit) = qlimit

• Still many solutions possible

  graph(q_k) =
      { (zero, one), (one, k), ..., (i, k), ...}

• Least fixed point property

  graph(qlimit) c graph(q_k)

The function qlimit is the least fixed point of the functional Q!