$\subseteq$

$F$ $\subseteq$ $Q$, einer Menge von Endzuständen

über einem Alphabet $\Sigma$ ist eine Teilmenge $L$ $\subseteq$ $\Sigma^{*}$

complexity classes 00vLghsCU $\subseteq$ GVp-MCDU6 $\subseteq$ $EXPTIME$

$P$ $\subseteq$ $NP$