Definition:Termination of Computational Sequence