When the machine in Figure 16.11 is

When the machine in Figure 16.11 is in state d1, if event e1 occurs, there is a transition either to state d2 or to d3.

If it is so easy to create a non-deterministic finite state machine, why all the fuss about determinism in the first place? (It turns out that we can always find a deterministic equivalent to any non-deterministic finite state machine anyway.) Recall that, in Chapter 12 we took great pains to separate the reality of a system from models of the system’s behavior. Finite state machines are models of reality; they only approximate the behavior of a real system. This is why it is so important to choose an appropriate model — we would like to use the best approximation. Roughly speaking, decision tables are the mode I of choice for static interactions, finite state machines suffice for dynamic interactions in a single processor, and some form of Petri net is needed for dynamic interactions in multiple processors. Before going on, we should indicate instances of non-determinism in the other two models. A multiple hit decision table is one in which the inputs (variables in the condition stub) are such that more than one rule is selected. In Petri nets, non-determinism occurs when more than one transition is enabled. The choice of which rule executes or which transition fires is made by an external agent. (Notice that the choice is actually an input!)

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

Khi máy tính ở con số 16.11 ở bang d1, nếu xảy ra sự kiện e1, đó là một quá trình chuyển đổi hoặc bang d2 hoặc d3. Nếu nó là như vậy dễ dàng để tạo ra một máy tính không xác định bang hữu hạn, tại sao tất cả các fuss về determinism ở nơi đầu tiên? (Nó chỉ ra rằng chúng tôi có thể luôn luôn tìm một tương đương xác định với bất kỳ máy tính không xác định bang hữu hạn anyway.) Hãy nhớ rằng, ở chương 12, chúng tôi đã rất đau để riêng thực tế của một hệ thống từ các mô hình hành vi của hệ thống. Máy hữu hạn trạng thái là mô hình thực tế; họ chỉ xác định hành vi của một hệ thống thực sự. Đây là lý do tại sao nó là rất quan trọng để lựa chọn một mô hình thích hợp-chúng tôi muốn sử dụng xấp xỉ tốt nhất. Khoảng nói, quyết định bảng là chế độ I của sự lựa chọn cho tương tác tĩnh, máy hữu hạn trạng thái đủ cho các tương tác động trong một bộ xử lý đơn và một số hình thức Petri net là cần thiết cho các tương tác động trong nhiều bộ xử lý. Trước khi đi vào, chúng ta nên cho biết trường hợp của phòng không determinism trong hai mô hình khác. Một bảng quyết định trúng nhiều là một trong đó đầu vào (biến trong các điều kiện khai) là như vậy mà nhiều hơn một quy tắc được chọn. Trong lưới Petri, determinism không xảy ra khi quá trình chuyển đổi nhiều hơn một được kích hoạt. Sự lựa chọn của quy tắc đó thực hiện hoặc chuyển tiếp mà đám cháy được thực hiện bởi một tác nhân bên ngoài. (Thông báo sự lựa chọn là thực sự là một đầu vào!)

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

Khi máy trong hình 16.11 là trong d1 nhà nước, nếu sự kiện e1 xảy ra, có một quá trình chuyển đổi, hoặc để d2 nhà nước hoặc d3.

Nếu nó là như vậy dễ dàng để tạo ra một máy hữu hạn nhà nước không xác định, tại sao tất cả các fuss về định mệnh ở Địa điểm đầu tiên? (Nó chỉ ra rằng chúng ta luôn luôn có thể tìm thấy một tương đương xác định vào bất kỳ máy hữu hạn nhà nước không xác định nào.) Nhớ lại rằng, trong Chương 12, chúng tôi đã bỏ nhiều công sức để tách các thực tại của một hệ thống từ các mô hình hành vi của hệ thống. Máy trạng thái hữu hạn là mô hình của thực tế; họ chỉ gần đúng các hành vi của một hệ thống thực. Đây là lý do tại sao nó là rất quan trọng để lựa chọn một mô hình thích hợp - chúng tôi muốn sử dụng xấp xỉ tốt nhất. Nói đại khái, bảng quyết định là chế độ I của sự lựa chọn cho các tương tác tĩnh, máy trạng thái hữu hạn đủ để tương tác năng động trong một bộ xử lý duy nhất, và một số hình thức của Petri net là cần thiết cho các tương tác năng động trong nhiều bộ xử lý. Trước khi đi, chúng ta nên chỉ ra trường hợp không thuyết định trong hai mô hình khác. Một bảng quyết định hit nhiều là một trong các đầu vào (các biến trong stub điều kiện) là như vậy mà nhiều quy tắc được chọn. Trong lưới Petri, không định mệnh xảy ra khi có nhiều hơn một quá trình chuyển đổi được kích hoạt. Sự lựa chọn trong đó loại trừ thực hiện hoặc có cháy chuyển tiếp được thực hiện bởi một tác nhân bên ngoài. (Chú ý rằng sự lựa chọn thực sự là một đầu vào!)