Arvutivõrgud eksami vastused
raskemaks ja lisades juurde omadusi. Töökindlust vaadeldakse sellise
modelleerimise abil, mida nimetatakse lõplikeks automaatideks. See tähendab,
et süsteem võib olla lõplikes arvus olekutes ja alati on olemas üks tingimus, mis
põhjustab olekumuutuse ja sellega on seotud erinevad tegevused. Kui tingimus
saabub, siis süsteem läheb ühest olekust teise ja sellega seoses tehakse midagi.
(valgusfoori näide)
Rdt 1.0 : Oletame, et meil on tegemist väge hea andmeedastuskanaliga, kus
mingeid häireid ega vigu ei teki. Saatja saadab andmeid ja vastuvõtja võtab
vastu ja mingeid probleeme ei teki. Lõplike automaatide mudeli peal kui vaadata
olukorda, kus bitid ei moodu ega paketid ei lähe kaduma: kui ülevalt
rakenduskihilt tulles käivitatakse rdt_send koos andmetega, siis transpordikiht
formeerib paketi (paneb andmed paketi sisse, paketipäise paneb juurde) ja
saadab udt_send-iga minema. Vastuvõtja pool saab kätte andmed ja
annaabi.ee 
