Seonglae ChoA finite binary string given as input to a fixed universal Turing machine
A finite description with respect to a universal machine. A program is a finite sequence of instructions that specifies a computation to be performed by a computer. A program is a syntactic object whose execution defines a computation.