Teorema de Rice

Un teorema de la teoría de la computabilidad que afirma que toda propiedad semántica no trivial del lenguaje reconocido por una máquina de Turing es indecidible: no existe un algoritmo que, dada una máquina de Turing arbitraria, decida si el lenguaje que acepta posee esa propiedad, siempre que la propiedad dependa solo del lenguaje y no sea trivial.