Algorithm 1―Simulation
function Simulation
t = next.
While t non-terminal do
Obtained by (14)
by(15).
end
return.
end function