Hi Johan >>It seems to me that >> >>w^{0..i-1}T^\omega|=P for i the least index,0 < i < |w|, such that w^i|=b, >> >>and >> >>w^{0..i-1}T^\omega|=P for some i,0 < i < |w|, such that w^i|=b >> >>are eqiuvalent. >> >>The reason for this is that if i<=j and >> >>w^{0..j}T^\omega|=P >> >>then >> >>w^{0..i}T^\omega|=P >> >>This means that we can simplify the semantic definition to >> >> w|= accept_on (b) P iff >> >> w|=P >> or >> w^{0..i-1}T^\omega|=P for some i,0 < i < |w|, such that w^i|=b >> >>or equivalently >> >> w|=P >> or >> there exists i such that 0 < i < |w| and w^i|=b and w^{0..i->>1}T^\omega|=P I agree about the equivalence but I am not sure whether it is simpler. I think it is more intuitive to think of the first b. Doron --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Oct 17 02:19:14 2007
This archive was generated by hypermail 2.1.8 : Wed Oct 17 2007 - 02:19:23 PDT