For an ESM to be deterministic we n

For an ESM to be deterministic we need the output and new state to be uniquely
determined by the current state and input. However, we have to take into account the
use of predicates as well.

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

Cho một ESM được xác định chúng ta cần đầu ra và các tiểu bang mới được độc đáoxác định bằng trạng thái hiện tại và đầu vào. Tuy nhiên, chúng ta phải đưa vào tài khoản cácsử dụng các predicates cũng.

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

Đối với một ESM được xác định chúng ta cần đầu ra và nhà nước mới được duy nhất
xác định bởi tình trạng hiện tại và đầu vào. Tuy nhiên, chúng ta phải đưa vào tài khoản
sử dụng của các vị ngữ là tốt.