Teorema di Rice - Utilizzo su $ DFA $ o $ LBA $

Question

Ho letto del teorema di Rice su SIPSER prenotare, e penso di averlo capito abbastanza bene. Capisco che può essere usato per dimostrare che una lingua non è decidabile.

Tuttavia non sono sicuro di una domanda -

Posso usare il teorema di Rice sulle lingue definite $ LBA $ o $ DFA $? Ad esempio, la seguente lingua -

$$ all_ {lba} = left { langle m rangle mid text {$ m $ è un lba e $ l (m) = sigma^*$} a destra } $$

Da un $ LBA $ è un "caso privato" di una macchina Turing, non sono sicuro di poter usare il teorema di Rice qui per dimostrare che la lingua è indecidenziale.