Figure 2.1: Finite automata represe

Figure 2.1: Finite automata representing a customer, a store, and a bank

Alternatively, when in state 1 the bank may receive a redeem request from the store. If so, it goes to state 3, and shortly sends the store a transfer message, with a new money file that now belongs to the store. After sending the transfer message, the bank goes to state 4. In that state, it will neither accept cancel or redeem requests nor will it perform any other actions regarding this particular money file.
Now, let us consider Fig. 2.1(a), the automaton representing the actions of the store. While the bank always does the right thing, the store’s system has some defects. Imagine that the shipping and financial operations are done by separate processes, so there is the opportunity for the ship action to be done either before, after, or during the redemption of the electronic money. That policy allows the store to get. into a situation where it has already shipped the goods and then finds out the money was bogus.
The store starts out in state a. When the customer orders the goods by performing the pay action, the store enters state b. In this state, the store begins both the shipping and redemption processes. If the goods are shipped first, then the store enters state c, where it must still redeem the money from the bank and receive the transfer of an equivalent money file from the bank. Alternatively, the store may send the redeem message first, entering state d. From state d, the store might next ship, entering state e, or it might next receive the transfer of money from the bank, entering state f. From state f, we expect that the store will eventually ship, putting the store in state g, where the transaction is

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

Nhân vật 2.1: Automata hữu hạn đại diện cho một khách hàng, một cửa hàng, và một ngân hàngNgoài ra, khi thuộc bang 1 ngân hàng có thể nhận được một yêu cầu đổi từ các cửa hàng. Nếu như vậy, nó đi tiểu bang 3, và một thời gian ngắn sẽ gửi các cửa hàng thư chuyển, với một tập tin tiền mới mà bây giờ thuộc về các cửa hàng. Sau khi gửi thư chuyển giao, các ngân hàng đi tiểu bang 4. Trong tiểu bang đó, nó sẽ không chấp nhận hủy bỏ hoặc chuộc yêu cầu cũng nó sẽ thực hiện bất kỳ hành động nào khác liên quan đến tranh tiền cụ thể.Bây giờ, chúng ta hãy xem xét hình 2.1(a), automaton đại diện cho các hành động của các cửa hàng. Trong khi các ngân hàng luôn luôn làm việc, Hệ thống các cửa hàng có một số khiếm khuyết. Hãy tưởng tượng rằng các hoạt động vận chuyển và tài chính được thực hiện bởi quy trình riêng biệt, do đó, cơ hội cho hành động con tàu phải được thực hiện hoặc trước đó, sau khi, hoặc trong việc mua lại của tiền điện tử. Chính sách đó cho phép các cửa hàng để có được. vào một tình huống mà nó đã vận chuyển hàng hóa và sau đó phát hiện ra tiền là không có thật.Các cửa hàng bắt đầu thuộc bang một. Khi khách hàng đơn đặt hàng hàng hóa bằng cách thực hiện hành động trả tiền, các cửa hàng vào nhà nước b. Tieåu bang naøy, các cửa hàng bắt đầu quá trình vận chuyển và cứu chuộc. Nếu hàng hóa được vận chuyển đầu tiên, sau đó các cửa hàng vào tiểu bang c, nơi nó vẫn còn phải thanh toán tiền từ ngân hàng và nhận được chuyển tệp tương đương tiền từ ngân hàng. Ngoài ra, các cửa hàng có thể gửi thư đổi đầu tiên, nhập bang d. Từ bang d, các cửa hàng tiếp theo có thể con tàu, nhập bang e, hoặc nó có thể tiếp nhận được chuyển tiền từ ngân hàng, nhập bang f. Từ bang f, chúng tôi hy vọng rằng các cửa hàng sẽ cuối cùng tàu, đưa các cửa hàng ở bang g, giao dịch ở đâu

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

Hình 2.1: automata hữu hạn đại diện cho một khách hàng, một cửa hàng, và một ngân hàng khác, khi ở trạng thái 1 ngân hàng có thể nhận được một yêu cầu mua lại từ các cửa hàng. Nếu vậy, nó đi để nêu 3, và trong thời gian ngắn sẽ gửi các cửa hàng tin chuyển nhượng, với một tập tiền mới mà bây giờ thuộc về cửa hàng. Sau khi gửi tin chuyển nhượng, các ngân hàng đi vào tiểu bang 4. Trong trạng thái đó, nó sẽ không chấp nhận hủy bỏ hoặc yêu cầu chuộc lại nó cũng sẽ không thực hiện bất kỳ hành động khác liên quan đến tập tin tiền đặc biệt này. Bây giờ, chúng ta hãy xem xét hình. 2.1 (a), các máy tự động đại diện cho các hành động của các cửa hàng. Trong khi các ngân hàng luôn luôn làm những điều đúng đắn, hệ thống của cửa hàng có một số khiếm khuyết. Hãy tưởng tượng rằng việc vận chuyển và hoạt động tài chính được thực hiện bởi các quá trình riêng biệt, do đó, cơ hội cho các hành động tàu được thực hiện hoặc trước, sau, hoặc trong quá trình cứu chuộc của tiền điện tử. Chính sách cho phép các cửa hàng để có được. vào một tình huống mà nó đã vận chuyển hàng hoá và sau đó phát hiện ra tiền là không có thật. Các cửa hàng bắt đầu ra ở trạng thái a. Khi khách hàng đặt hàng các mặt hàng bằng cách thực hiện các hành động trả lương, các cửa hàng vào nhà nước b. Trong trạng thái này, các cửa hàng bắt đầu cả các quá trình vận chuyển và cứu chuộc. Nếu hàng hoá được vận chuyển đầu tiên, sau đó các cửa hàng đi vào trạng thái c, nơi nó vẫn phải mua lại tiền từ các ngân hàng và tiếp nhận chuyển giao của một tập tin bằng tiền từ ngân hàng. Ngoài ra, các cửa hàng có thể gửi tin nhắn mua lại đầu tiên, bước vào nhà nước d. Từ trạng thái d, các cửa hàng có thể con tàu tiếp theo, bước vào nhà nước điện tử, hoặc nó có thể tiếp nhận việc chuyển tiền từ ngân hàng, vào nhà nước f. 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 là