Rice's Theorem

튜링 완전 시스템에서 비자명한 속성을 결정하는 것은 불가능하다는 계산 이론의 정리. 본문에서는 서브 튜링 컴파일러 설계의 이론적 배경으로 언급됨.