2.1.3 Enabling the Automata to Igno

2.1.3 Enabling the Automata to Ignore Actions
While the three automata of Fig. 2.1 reflect the behaviors of the three participants independently, there are certain transitions that are missing. For example, the store is not affected by a cancel message, so if the cancel action is performed by the customer, the store should remain in whatever state it is in. However, in the formal definition of a finite automaton, which we shall study in Section 2.2, whenever an input X is received by an automaton, the automaton must follow an are labeled X from the state it is in to some new state. Thus, the automaton for the store needs an additional are from each state to itself, labeled cancel. Then, whenever the cancel action is executed, the store automaton can make a “transition” on that input, with the effect that it stays in the same state it was
in. Without these additional arcs, whenever the cancel action was executed the store automaton would “die”; that is, the automaton would be in no state at all, and further actions by that automaton would be impossible.
Another potential problem is that one of the participants may, intentionally or erroneously, send an unexpected message, and we do not want this action to cause one of the automata to die. For instance, suppose the customer decided to execute the pay action a second time, while the store was in state e. Since that state has no arc out with label pay, the store’s automaton would die before it could receive the transfer from the bank. In summary, we must add to the automata of Fig. 2.1 loops on certain states, with labels for all those actions that must be ignored when in that state; the complete automata are shown in Fig. 2.2. To save space, we combine the labels onto one arc, rather than showing several arcs with the same heads and tails but different labels. The
two kinds of actions that must be ignored are:

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

2.1.3 cho phép Automata để bỏ qua hành độngTrong khi automata hình 2.1, ba phản ánh các hành vi của những người tham gia ba độc lập, có là một số quá trình chuyển đổi bị thiếu. Ví dụ, các cửa hàng không bị ảnh hưởng bởi một thông báo hủy bỏ, do đó, nếu hành động hủy bỏ được thực hiện bởi khách hàng, các cửa hàng nên vẫn còn trong nhà nước bất cứ điều gì nó là trong. Tuy nhiên, trong định nghĩa chính thức của một automaton hữu hạn, mà chúng tôi sẽ nghiên cứu trong phần 2.2, bất cứ khi nào một đầu vào X nhận được bởi một automaton, automaton phải tuân theo một là có nhãn X từ bang nó là trong một số tiểu bang mới. Vì vậy, automaton cho các cửa hàng cần một được bổ sung từ mỗi tiểu bang để tự nó, có nhãn hủy bỏ. Sau đó, bất cứ khi nào các hành động hủy bỏ được thực thi, automaton cửa hàng có thể làm cho một sự chuyển đổi"" trên đó đầu vào, với các hiệu ứng mà nó vẫn trong cùng một trạng thái đó làở. Nếu không có những vòng cung bổ sung, bất cứ khi nào các hành động hủy bỏ được thực hiện automaton cửa hàng nào "chết"; có nghĩa là, automaton sẽ ở trạng thái không có ở tất cả, và các hành động hơn nữa bởi automaton đó sẽ là không thể.Một vấn đề tiềm năng khác là rằng một trong những người tham gia có thể, cố ý hoặc sai lầm, gửi thư không mong muốn, và chúng tôi không muốn hành động này gây ra một trong automata chết. Ví dụ, giả sử khách hàng quyết định thực hiện hành động trả tiền một lần thứ hai, trong khi các cửa hàng ở bang. Kể từ khi nhà nước đã không arc ra với nhãn trả, các cửa hàng automaton sẽ chết trước khi nó có thể nhận được chuyển từ các ngân hàng. Tóm lại, chúng ta phải thêm để automata hình 2.1 vòng trên một số bang, với nhãn cho tất cả những hành động phải bị bỏ qua khi ở trạng thái đó; automata hoàn thành được hiển thị trong hình 2.2. Để tiết kiệm không gian, chúng tôi kết hợp các nhãn vào một vòng cung, chứ không phải đang hiển thị một số góc với cùng một người đứng đầu và đuôi, nhưng khác nhau nhãn. Cáchai loại hành động phải bị bỏ qua là:

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

2.1.3 Bật Máy tự động để Bỏ qua Actions
Trong khi ba automata của hình. 2.1 phản ánh hành vi của ba người tham gia độc lập, có một số chuyển tiếp đang thiếu. Ví dụ, các cửa hàng không bị ảnh hưởng bởi tin nhắn đã hủy bỏ, vì vậy nếu các hành động hủy được thực hiện bởi các khách hàng, các cửa hàng vẫn nên trong bất cứ trạng thái đó là trong. Tuy nhiên, trong những định nghĩa chính thức của một máy tự động hữu hạn, mà chúng ta sẽ nghiên cứu tại mục 2.2, bất cứ khi nào một X đầu vào nhận được một máy tự động, máy tự động phải tuân theo một X được gán nhãn từ trạng thái đó là trong một số trạng thái mới. Như vậy, các máy tự động cho các cửa hàng cần thêm từ mỗi tiểu bang với chính nó, dán nhãn hủy. Sau đó, bất cứ khi nào các hành động hủy bỏ được thực thi, máy tự động cửa hàng có thể thực hiện một "chuyển tiếp" trên đầu vào đó, với những hiệu ứng mà nó vẫn trong tình trạng tương tự đó là
trong. Nếu không có những vòng cung bổ sung, bất cứ khi nào các hành động hủy bỏ được thực thi máy tự động lưu trữ sẽ "chết"; đó là, máy tự động sẽ không có nhà nước ở tất cả, và hành động hơn nữa bằng máy tự động đó sẽ là không thể.
Một vấn đề khác có tiềm năng là một trong những người tham gia có thể, cố ý hoặc sai lầm, gửi một thông báo bất ngờ, và chúng tôi không muốn hành động này gây ra một trong những automata chết. Ví dụ, giả sử khách hàng quyết định để thực hiện các hành động trả một lần thứ hai, trong khi các cửa hàng là ở bang e. Kể từ khi nhà nước mà không có arc ra với nhãn tiền lương, máy tự động của cửa hàng sẽ chết trước khi nó có thể được chuyển giao từ các ngân hàng. Tóm lại, chúng ta phải thêm vào các máy tự động của hình. 2.1 vòng trên các quốc gia nhất định, với các nhãn cho tất cả những hành động đó phải được bỏ qua khi trong trạng thái đó; các automata hoàn chỉnh được trình bày trong hình. 2.2. Để tiết kiệm không gian, chúng tôi kết hợp các nhãn vào một vòng cung, thay vì hiển thị nhiều vòng cung với người đứng đầu và đuôi giống nhau nhưng nhãn khác nhau. Việc
hai loại hành động đó phải được bỏ qua là: