1.图具有生成树当且仅当图是连通的；同构树，包含5个节点的图具有3种互不同构的形式；T1,T2根树，根为r1,r2,T1，T2同构的等价条件存在从T1的节点集到T2的节点集的双射函数，满足（a）vi,vj邻接
iff
f（vi）,f(vj)邻接(b)f(r1)=r2,为同构根树;不同构根树可能是同构自由树；同构二叉树除了要满足同构根树的条件以外左右孩子也要对应；三个节点的二叉树有5种互不同构的形式；n个节点的二叉树有C(2n,n)/(n+1)种互不同构的形式。
2.有限状态机是具有内部记忆的抽象机模型，有限状态自动机是特殊类型的状态机，和语言相关，输出不仅依赖于输入而且依赖于系统的状态。
3.有限状态机的函数，输入输出函数，状态转移函数；对有限状态机输入输入串，通过状态转换，产生输出串；有限状态自动机输出为1的状态被称为接收状态，不关心输出为0的状态。