a program can be thought of as an algorithm. in a more rigorous context, it can be considered a turing program or a program written in the
programming language.
we say that a program diverges on an input if it doesnt halt on that input.
we write
, and
.
notice that this is a special case of the language of a machine.