Definition:Computational Method/Computational Sequence/Termination

Definition
A computational sequence $x_0, x_1, x_2, \ldots$ is said to terminate in $k$ steps if $k$ is the smallest integer for which $x_k \in \Omega$.

In this case, it produces the output $x_k$ from $x$.

Some computational sequences may never terminate.