4.3.1 可以表示递归结构的外部系统