특정판 필터링펼치기접기 끝 날짜:태그 필터:wikieditor (숨긴 태그)넘겨주기 대상 변경넘겨주기 제거되돌려진 기여새 넘겨주기서버측 업로드수동 되돌리기시각 편집시각 편집: 전환됨 판 보이기 차이 선택: 비교하려는 판의 라디오 버튼을 선택한 다음 엔터나 아래의 버튼을 누르세요. 설명: (최신) = 최신 판과 비교, (이전) = 이전 판과 비교, 잔글= 사소한 편집 2023년 2월 4일 (토) 최신이전 04:512023년 2월 4일 (토) 04:51 Ahn9807 토론 기여 317 바이트 −7 편집 요약 없음 최신이전 04:512023년 2월 4일 (토) 04:51 Ahn9807 토론 기여 324 바이트 +324 새 문서: 분류: 일반 전산 용어 == 개요 == 만약 한 프로그램이 reject된다면 그 프로그램은 언제나 error을 가지고 있음을 의미한다. 예를 들어서 모든 프로그램을 accept하는 anaylzer는 completeness하다. (하지만 soundness하지는 않다.) == 같이 보기 == # Soundness