semi-decidable

tính từ (adjective)

Nghĩa chính

Trong một tập hợp, sao cho có một thuật toán xác định sao cho (a) nếu một phần tử là thành viên của tập hợp đó thì thuật toán dừng lại với kết quả là "dương" và (b) nếu một phần tử không phải là thành viên của tập hợp đó, (i) thuật toán không dừng lại hoặc (ii) nếu có thì kết quả là "âm"tính từkhông so sánh (not comparable)Of a set, such that there is a deterministic algorithm such that (a) if an element is a member of the set, the algorithm halts with the result "positive", and (b) if an element is not a member of the set, (i) the algorithm does not halt, or (ii) if it does, then with the result "negative".

Đồng nghĩa