<<产生式编程方法，工具与应用>>问题

1）2.8.7代数方法－第2段尾－类别理论－Category Theory

－Category Theory-在数学上称为“范畴论”，在计算机科学中称为“类属理论”。

2）3.2.2问题空间－第3段－协作和角色－“类仅仅是通过组合协作而进行的综合”

－不知道“综合”的含义，感觉类是承担某种角色而参与到协作中的。

3）11.4.3用新的意图扩展IP系统-第6段－引号和非引号操作符

configuration(dynamic, rectangular) MATRIX m; //创建源树节点m－声明

//对m类型MATRIX的化简-修改m的类型声明
HTYPE htype;
if(matrix_descrition.allocation == dynamic &&
matrix_descrition.Shape == rectangular)
{
htype = struct
{
int rows;
int cols;
$htypeElement* elements; //－$引证操作符－是否是对m节点的子节点引用？
}
}

以及脚注：“9 引证结构抑制引证代码的标准化简。作为替代，引证代码被化简成代码，它在执行的时候，实际创建引证源树。
IP引证机制类似Lisp中出现的引证。”

－不懂引证的概念。

4）11.5.5化简－第2段尾－如果化简方法被允许删除信息，你基本就不能总是保证化简会终止”。

－是否与“防止进程死锁4个条件的1个－资源分配总是单向的（优先级分配），以打破死锁环”~类似~
“化简只能创建节点，但不能删除节点”。