Об одной алгебраической модели программ, связанной с обработкой прерыванийстатья