Show that the set of all computer programs in a particular programming language is countable. [Hint: A computer program written in a programming language can be thought of as a string of symbols from a finite alphabet.]

Step 1</p>

The set of all computer programs in a particular programming language is countably infinite .

Each programme must be finite in length and the set of all possible programs is infinite.

Let be the set of all programs of length n .

Each is...