(새 문서: 분류: 일반 전산 용어 == 개요 == 만약 한 프로그램이 reject된다면 그 프로그램은 언제나 error을 가지고 있음을 의미한다. 예를 들어서 모든 프로그램을 accept하는 anaylzer는 completeness하다. (하지만 soundness하지는 않다.) == 같이 보기 == # Soundness) |
편집 요약 없음 |
||
| 1번째 줄: | 1번째 줄: | ||
[[분류: | [[분류: 전산 용어]] | ||
== 개요 == | == 개요 == | ||
2023년 2월 4일 (토) 04:51 기준 최신판
개요
만약 한 프로그램이 reject된다면 그 프로그램은 언제나 error을 가지고 있음을 의미한다.
예를 들어서 모든 프로그램을 accept하는 anaylzer는 completeness하다. (하지만 soundness하지는 않다.)