Turingmaschinen, Berechenbarkeit und Entscheidbarkeit