From state f, we expect that the st

From state f, we expect that the store will eventually ship, putting the store in state g, where the transaction is complete and nothing more will happen. In state e, the store is waiting for the transfer from the bank. Unfortunately, the goods have already been shipped, and if the transfer never occurs, the store is out of luck.
Last, observe the automaton for the customer, Fig. 2.1(b). This automaton has only one state, reflecting the fact that the customer “can do anything.” The customer can perform the pay and cancel actions any number of times, in any order, and stays in the lone state after each action.

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

Từ bang f, chúng tôi hy vọng rằng các cửa hàng sẽ tàu cuối cùng, việc đưa các cửa hàng nhà nước Son, nơi giao dịch là đầy đủ và không có gì hơn sẽ xảy ra. Ở nhà nước, các cửa hàng chờ đợi cho việc chuyển giao từ các ngân hàng. Thật không may, hàng hóa đã được vận chuyển, và nếu việc chuyển giao không bao giờ xảy ra, các cửa hàng là trong số may mắn.Cuối cùng, quan sát automaton cho khách hàng, hình 2.1(b). Automaton này có chỉ có một nhà nước, phản ánh thực tế rằng khách hàng "có thể làm bất cứ điều gì." Khách hàng có thể thực hiện trả tiền và hủy bỏ hành động bất kỳ số lượng thời gian, ở bất kỳ thứ tự, và vẫn thuộc bang đơn độc sau khi hành động mỗi.

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

Từ trạng thái f, chúng tôi hy vọng rằng các cửa hàng cuối cùng sẽ xuất xưởng, đưa cửa hàng ở bang g, nơi giao dịch hoàn tất và không có gì hơn sẽ xảy ra. Trong trạng thái e, các cửa hàng đang chờ đợi cho việc chuyển giao từ các ngân hàng. Thật không may, các hàng hoá đã được vận chuyển, và nếu việc chuyển nhượng không bao giờ xảy ra, các cửa hàng là số may mắn.
Cuối cùng, quan sát các máy tự động cho khách hàng, hình. 2.1 (b). Máy tự động này chỉ có một nhà nước, phản ánh thực tế là khách hàng "có thể làm bất cứ điều gì." Các khách hàng có thể thực hiện việc trả lương và hủy bỏ các hành động bất kỳ số lần, theo thứ tự nào, và ở trong tình trạng cô đơn sau mỗi hành động.