Alternující Turingův stroj