Qual è la differenza tra un calcolo e un linguaggio di programmazione?

Question

Penso di essere piuttosto confuso su quello che viene chiamato un calcolo e quello che viene chiamato un linguaggio di programmazione.

Tendo a pensare e mi è stato detto che un calcolo è un sistema formale per il ragionamento sull'equivalenza dei programmi. I programmi hanno una semantica operativa specificata da una macchina, che dovrebbe (credo?) Determistico. In questo modo, un calcolo (corretto) per una lingua $ l $ è un metodo di prova per l'equivalenza del programma.

Questa mi sembra una divisione ragionevole, ma è questo il significato comunemente accettato? O forse è anche sbagliato?

Correlati, perché alcune semantiche operative non sono determinanti (supponiamo che sia confluente)? Cosa si guadagna nel lasciare aperta la scelta della strategia?

Apprezzerei davvero alcuni chiarimenti su questi; E riferimenti concreti ancora di più! Grazie!