IPDA
IPDA - Indexed pushdown automata are constructed by attaching a list of indices, called the index list, to each symbol of the pushdown list. In addition the transition function is modified so that each transition also depends on the first element of the index list.
Can recognize Deterministic Indexed languages.