Satz von Rice

Ein Satz der Berechenbarkeitstheorie, der besagt, dass jede nichttriviale semantische Eigenschaft der von einer Turing-Maschine erkannten Sprache unentscheidbar ist: Es gibt keinen Algorithmus, der für eine beliebige Turing-Maschine entscheidet, ob die von ihr akzeptierte Sprache diese Eigenschaft hat, sofern die Eigenschaft nur von der Sprache abhängt und nicht trivial ist.