편집토론문서 역사

Completeness

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


개요

만약 한 프로그램이 reject된다면 그 프로그램은 언제나 error을 가지고 있음을 의미한다.

예를 들어서 모든 프로그램을 accept하는 anaylzer는 completeness하다. (하지만 soundness하지는 않다.)

같이 보기

  1. Soundness