Nondeterministic function là gì?

Các hàm nondeterministic (nondeterministic function) có thể trả về các kết quả (output) khác nhau mỗi khi chúng được gọi với một tập giá trị đầu vào (input) cụ thể. Ví dụ như hàm tạo ra số ngẫu nhiên (hàm rand trong C ) không nhận giá trị đầu vào và tạo ra các số ngẫu nhiêu có thể khác nhau ở mỗi lần gọi.

Bên dưới là ví dụ về hàm nondeterministic (nondeterministic function):

int sum(int a, int b) {
    return a + b + rand();
}

Hàm trên nếu nhận cùng một đối số (argument) thì có thể sẽ không nhận cùng một giá trị trả về (return value) do đó nó là hàm nondeterministic.