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 defined 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 các hành động nhiều hơn một trạng thái được định nghĩa đệ quy 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 định nghĩa là