关于递归定义的理解

根据《自动机理论、语言和计算导论》和离散数学经典教材，下面我给出自己对递归定义的理解

递归定义

递归定义可以分为基本部分和归纳部分的两个部分
其中，基本部分定义一个或数个基本的结构。
归纳的部分用基本部分定义的结构，加上一些规则来定义更加复杂的结构。

例如：
基础：任何数字或字母（变量）都是表达式。
归纳：如果E和F是表达式，那么E+F，E-F，E*F都是表达式。
例子来源《自动机理论、语言和计算导论》

欢迎批评指正