Need help with previous "Automata / Theory Of Computation" exam question
The relevant set-theoritic relations are
$$
\mathsf{REXP} = \mathsf{DFSA} = \mathsf{NFSA} \subsetneq \mathsf{CFG} = \mathsf{PDA}.
$$
The corresponding Venn diagram consists of two circles, one inside the other.