Zeigen Sie, dass die folgenden Sprachen unentscheidbar sind$.$

$($a$)$

L$1=\{$n $|$ Mn akzeptiert unendlich viele Eingaben$\}.$

Benutzen Sie hierzu das allgemeine Halteproblem zur Reduktion.

$($b$)$ Sei das zugrundegelegte Bandalphabet $\backslash$Sigma $=\{$A$,$ a$,$B$,$ b$,$C$,$ c$,...,$Z$,$ z$,3,\}.$

L$2=\{$n $|$ Mn terminiert nur auf I$-$love$-$Inf$3,$ sonst nie$\}.$

Finden Sie eine geeignete Sprache zur Reduktion.