如果我们把L不只分出一个核心L1,而是分出L1,L2,即L2为L1的扩充,那么实现的步骤可以是先由A书写L1得,再由L1书写L2表示为,将L1L2A经过编译得,最后用L2书写L为,再用对进行编译最终得到我们所需要的。这个过程用三层结合的T型图表示如图13.6。