オートマトン理論では、オルタネイトツリーオートマトン（ATA）は、非決定性有限オートマトン（NFA）を拡張する有限オートマトンと同様に、非決定木オートマトンの拡張である。