문서 편집 권한이 없습니다. 다음 이유를 확인해주세요: 요청한 명령은 다음 권한을 가진 사용자에게 제한됩니다: 사용자. 문서의 원본을 보거나 복사할 수 있습니다. [[분류: 전산 용어]] == 개요 == 만약 한 프로그램이 reject된다면 그 프로그램은 언제나 error을 가지고 있음을 의미한다. 예를 들어서 모든 프로그램을 accept하는 anaylzer는 completeness하다. (하지만 soundness하지는 않다.) == 같이 보기 == # [[Soundness]] Completeness 문서로 돌아갑니다.