There are many makes and models of computers. There are many programming languages. Let’s say that two computer programs are equivalent if, when we run both programs with the same inputs, we get the same outputs. Let’s say that two programming languages are equivalent if, for each program that we can write using Language A,…