Text this: Alternating Turing machines for inductive languages