In the first case, where pre(o)  S

In the first case, where pre(o)  S, the action is said to be applicable in S. The result of applying a sequence of more than one action to a state is recursively dened as

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

trong trường hợp đầu tiên, nơi mà trước (o) s, hành động được cho là áp dụng trong s. là kết quả của việc áp dụng một chuỗi nhiều hơn một hành động để một nhà nước được đệ quy dened như

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

Trong trường hợp đầu tiên, pre(o) S, các hành động ở đâu được áp dụng trong S. Kết quả của việc áp dụng một chuỗi các hành động nhiều hơn một đến một trạng thái là đệ quy dened như