본문바로가기
귀납적^가산^집합 편집하기 편집 금지 요청
분야
『정보·통신』
「001」계산 가능성 이론의 하나. 집합의 모든 요소를 순환적 함수에 의해 열거할 수 있는 결정론적 알고리즘이 존재하는 것을 이른다.

대역어

영어
recursively enumerable set
위로