sir
i have attached one state diagram.z(output) is true at
states 3 and 4.
(1)VIS evaluate AX(z) in following steps
AXz = -EX-z = -EX-[3,4] = -EX[1,2,5,6,7]
= -[3,7,1,4,5,6] = [2]
(2)VIS evaluate AF(state7) in following steps
AF[7] = -EG-[7] = -EG[1,2,3,4,5,6] = -[(1,2,3),(1,2,4)]
-[1,2,3,4] = [3,4,5]
Fot the state diagram this is also true that whenever
reset occurs next state will be state1.These transitions
are not shown in the diagram.
I want to ask,what is the similar proof for
AG( reset -> AX state1);
This statement is equivalent to
AG(-reset + AXstate1),but which states i should take corresponding to reset which is an external input.
thanking you
vanessa
_____________________________________________________
Chat with your friends as soon as they come online. Get Rediff Bol at
http://bol.rediff.com
This archive was generated by hypermail 2b30 : Thu May 24 2001 - 03:39:46 MDT