#toc #acetestseries #tm #decidability

Question

Comments

see there is a small funda : (its a kind of shortcut u can say and works 101% correct)

if x-> y than we have two conditions :

if x is false y will always be false..

if y is true x will always be true..

---

N case 2 falls in 1st condition...thats why we are using forward algorithm...

Thanks I got it now.

---

yes :)