Algorithm 1―Simulation

function Simulation

t = next.

While t non-terminal do

Obtained by (14)

by(15).

t = next.

end

return.

end function