Pushdown automata - FA + stack; DPDA + nondeterministism. Can recognize Context free languages.
Realated: