Se il linguaggio di tutte le macchine Turing sia decidabile o indecidibile o semi-decidabile?

Question

Di recente mi sono imbattuto in questa lingua:

$ L = {u003CTM> | text {tm accetta lingue ricorsivamente enumerabili} } $

È stato chiesto nella domanda per scoprire se la lingua L è decidabile o indecidibile.

Per quanto ho potuto ragionare, la lingua L è l'insieme di tutte le lingue enumerabili ricorsive o l'insieme di tutte le macchine Turing.

Ma non riesco a capire se questa lingua sia decidabile o no.

Per favore qualcuno può aiutarmi??

Grazie in anticipo!!