Considera il seguente codice per trovare l'elemento minimo di th di un array:
FindKthMin(A[], k)
{
A = Sort(A);
return A[k];
}
Potrebbe essere un algoritmo senza specificare i dettagli di sort ?
Possiamo dire che l'algoritmo non ha significato senza specificare il set di istruzioni (macchina di destinazione e il suo set di istruzioni di base)
Ad esempio in BubbleSort dovremmo specificare i dettagli di Swap(..) o Add(..) ? Voglio dire quali sono quelle istruzioni atomiche che ci impedirebbero di andare oltre?
O che cos'è una definizione formale per un passo dell'algoritmo? Esiste una definizione matematica generale per esso (come le funzioni o qualcosa del genere)?