본문바로가기
만능^평가^함수 편집하기 편집 금지 요청
분야
『정보·통신』
「001」어떤 프로그램 언어의 의미를 정하는 데 그 언어로 기술된 임의의 프로그램을 해석하는 조작으로서, 평가를 행하는 함수. 예를 들어 함수형 프로그램에서는 함수를 인수로 작용시키는 조작이나 어떤 환경 아래서의 식의 값을 구하는 조작을 실행하는 것이다. 예를 들어, 순 리스프의 만능 평가 함수가 있다. 만능 평가 함수는 튜링 기계의 세계에서는 만능 튜링 기계에 대응한다.

대역어

영어
universal function
위로