The notion of acceptance of an infinite trace 6 e R(X, I) by an ATS 3 is defined by referring to the local infinity sets Infp(p) of local p-states that ...
確定! 回上一頁