Qual è la differenza tra un calcolo e un linguaggio di programmazione?
Domanda
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!
Nessuna soluzione corretta