Господа,

Решение третьего задания требуется снабдить комментариями, поясняющими:

1) от чего в описании исходной программы вы абстрагировались при построении её модели и почему (сюда включается абстракция от ветвления, абстракция типов данных итп),

2) сопоставление введённых каналов и типов пересылаемых по ним данных объектам исходной программы (системным вызовам, их параметрам итп).