****Rice's theorem****


### Rice's theorem states that all non-trivial semantic properties of programs are undecidable
A semantic property is one about the program's behavior, unlike a syntactic property.
어떠한 튜링 머신이 받아들이는 내용이 자명한가, 자명하지 않은가에 대한 판단은 불가능하다





> [Rice's theorem](https://en.wikipedia.org/wiki/Rice's_theorem)





