PDA

Pushdown automata (PDA) is a NFA equipped with a stack. Corresponds to type 2 in Chomsky hierarchy.

DPDA (deterministic PDA) is equivalent to LR(1) grammar.

Realated:

• ASPEN: A Scalable In-SRAM Architecture for Pushdown Automata, 2018