I. $\text{INFINITE}_{\text{DFA}}$
Membership Problem of regular languages are Decidable.
Consider the following Language $L=\{ \epsilon, a, b, ab, aa, ba, bb, \dots \}$
II. $\text{INFINITE}_{\text{PDA}}$ Membership Problem of context free languages are Decidable. CYK Algorithm is used to prove that the given string is a valid member of the language or not.
III. $\text{INFINITE}_{\text{TM}} = \{ <M> \mid \text{ M accepts String of Length} \geq 2018 \}$
Membership problem of TM is Undecidable
IV. I. $\text{AMBIG}_{\text{CFG}} = \{ <G> \mid \text{ G is an Ambiguous CFG} \}$
Ambiguity of CFG is Undecidable
I and II only.