A run p over F is accepting with respect to A0 iff infp ( e ) nFp # for every p . The trace language accepted by the AC - automaton A ( i.e. , where T is of ...
確定! 回上一頁