一个算法通常由两种基本要素组成：一是对数据对象的运算和操作，二是算法的______。

二叉树是节点的有限集合，这个有限集合或者为______，或者由一个根节点及两棵不相交的、分别称做为根的左子树和右子树的二叉树组成。