比较两种数据流算法形式化表述的注释

A note comparing two formalizations of dataflow algorithms