We cannot write a C program that will determine whether an arbitrary C program will halt on a particular input.
We cannot write a C program that will determine whether two other C programs solve the same problem
A compiler writer cannot produce the smallest assembly language program that solves the same problem as its input (a high-level language program).
CS1104 Main Page
Last Updated 01/05/2000
© L.Heath, 2000