Will the sender and receiver state machines shown below, function properly or will they enter a deadlock state, where each is waiting for an event that will never occur send (data (corrupt(revpkt)I Wait for call 0 from above Wait for ACK or NAK O udt send(sndpkt rdt rov(rovpkt && notcorrupt(rovpkt rdt rev(rcvpkt) 66 notcorrupt4rovpkt) Wait for ACK or NAK 1 Wait for call 1 from above (corrupt(revkt)1 udt send( andpkt rdt send (data) andpkt-ake pkt41,datacheckaum odt send (sndpkt) extract (revpkt,data) deliver data(data) compute chkaun make pkt( sendpkt,ACK,chksun) adt_send( sndpkt) rdt rev(revpkt) (corrupt (revpkt)1 has seq0(revpkt Wait for 0 from Wait for 1 from comput chksun nake pkt (andpkt, NAR,chkaum) udt send (sndpkt [corrupt ( revpkt! has seq1 (revpkt))) compute chksu nake_pkt(sndpkt,NAK,chksun) udt send(sndpkt && has segi (revpkt) extract (revpkt,data) deliver data(data) compute chksun make pkt(sendpkt ACx,chksun adt send(sndpkt Will the sender and receiver state machines shown below, function properly or will they enter a deadlock state, where each is waiting for an event that will never occur send (data (corrupt(revpkt)I Wait for call 0 from above Wait for ACK or NAK O udt send(sndpkt rdt rov(rovpkt && notcorrupt(rovpkt rdt rev(rcvpkt) 66 notcorrupt4rovpkt) Wait for ACK or NAK 1 Wait for call 1 from above (corrupt(revkt)1 udt send( andpkt rdt send (data) andpkt-ake pkt41,datacheckaum odt send (sndpkt) extract (revpkt,data) deliver data(data) compute chkaun make pkt( sendpkt,ACK,chksun) adt_send( sndpkt) rdt rev(revpkt) (corrupt (revpkt)1 has seq0(revpkt Wait for 0 from Wait for 1 from comput chksun nake pkt (andpkt, NAR,chkaum) udt send (sndpkt [corrupt ( revpkt! has seq1 (revpkt))) compute chksu nake_pkt(sndpkt,NAK,chksun) udt send(sndpkt && has segi (revpkt) extract (revpkt,data) deliver data(data) compute chksun make pkt(sendpkt ACx,chksun adt send(sndpkt