Key types of automata include finite automata, pushdown automata, and Turing machines. These represent different classes of computational models.