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.