AFA - alternating finite automata. Recognizes Regular languages, specifically RE with lookahead.
Read more here: