Estensioni di Turing e altre macchine