Added additional (and possibly final) error checking (against input and tape alphabets)