By transforming functionspecification, the recurrence relation of abstract problem-solving can be easily obtained.
利用规约进行变换，寻找递推关系，可以比较容易得到抽象算法。
2
The string function has the specification of numeric value, or the result is a numeric value related to the input data.
字符串函数拥有数值规范，或者说结果是输入数据相关的数值。
3
"Tells us that the bind will be made asynchronously, and the ReadAsync function provides the specification of how the BeginRead and EndRead methods should be called."