Théorème de Rice - Utilisation sur $ dfa $ ou $ lba $

Question

J'ai lu le théorème de Rice sur Sipser livre, et je pense que je le comprends assez bien. Je comprends qu'il peut être utilisé pour montrer qu'une langue n'est pas décideable.

Cependant je ne suis pas sûr d'une question -

Puis-je utiliser le théorème de Rice sur les langues qui sont définies sur $ Lba $ ou $ Dfa $? Par exemple, la langue suivante -

$$ all_ {lba} = Left { Langle m Rangle mid text {$ m $ est un lba et $ l (m) = sigma ^ * $} droit } $$

Depuis un $ Lba $ est un "cas privé" d'une machine Turing, je ne suis pas sûr de pouvoir utiliser le théorème de Rice ici pour prouver que la langue est indécidable.