With higher-order functions, nondet

With higher-order functions, nondeterministic transitions can be specified succinctly, as above, rather than specifying an interval in each transition.

Kết quả (Việt) 1:

Với chức năng cao đơn đặt hàng, quá trình chuyển đổi nondeterministic có thể được xác định ngắn gọn, như trên, thay vì chỉ định một khoảng thời gian trong quá trình chuyển đổi mỗi.

Kết quả (Việt) 2:

Với chức năng bậc cao, quá trình chuyển đổi không xác định có thể được xác định một cách ngắn gọn, như trên, hơn là chỉ định một khoảng thời gian trong mỗi sự chuyển tiếp.