053 .3.1　可以表示递归结构的外部系统