http://jmvidal.cse.sc.edu/papers/bansal03a.pdf

其中的两个算法，令人不解。
（1）递归算法不能满足停止条件，即

if matchOutputs( I, k.matchSet, k ) then
   if matchOoutputs( I, tail( O ), N ) then
      return true;  //如何能够到达这里？
   end if
end if

(2)作为output匹配算法，居然没有用到节点（叶子节点）的output属性，那么是怎么匹配出来的？

是不是我忽略了某个要点？望告知~~~

这个递归结束条件应该改成：
if (N.outputs!=NULL) then //叶子节点
   if matched(O,N.outputs) then
      return true    //叶子节点output匹配
  else
      return false  //叶子节点output不匹配
  end if
end if
//能通过这里的只有非叶子节点(N.outputs==NULL)

因为只有叶子节点才会有outputs，这个matched方法才会成功，并且自然用到了叶子节点的output属性（即N.outputs），且这个递归可以停止