Strong Bisimulation
Strong Bisimulation
Strong Bisimulation
SHOW LESS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
General Automaton<br />
a,b,c<br />
b,c<br />
q3<br />
a,b<br />
q0<br />
a<br />
a<br />
q2<br />
c<br />
b<br />
q1<br />
c<br />
34