본문으로 건너뛰기
AI Trends
피드
트렌딩
커뮤니티
공지
로그인
피드
트렌딩
커뮤니티
공지
라이스 정리 (rices-theorem) 용어 설명 | AI Trends
rices-theorem
라이스 정리
중급
튜링 완전 시스템에서 비자명한 속성을 결정하는 것은 불가능하다는 계산 이론의 정리. 본문에서는 서브 튜링 컴파일러 설계의 이론적 배경으로 언급됨.
비슷한 개념
sub-turing-compiler
turing-complete
turing-completeness
automata-theory
compiler-optimization
nondeterministic-computing
essential-complexity
kolmogorov-complexity
← 용어 사전 전체 보기