AFA
空軍士官学校 (air force academy)
転置交代有限オートマトン (alternating finite automaton)