Alternating tree automata とは 投稿日: 2018年7月4日 投稿者: csword オートマトン理論では、オルタネイトツリーオートマトン(ATA)は、非決定性有限オートマトン(NFA)を拡張する有限オートマトンと同様に、非決定木オートマトンの拡張である。原文: Alternating tree automata (Wikipedia)