20世纪70年代Mandlebrot创立了分形几何学，不规则性和无限精细的自相似结构是分形几何的最重要特征，因此分形可以很好的用来定义和表达传统欧式几何难以表达的复杂几何形体。 分形几何学的研究热点之一是分形图形的生成算法，其中迭代函数系统和L系统在分形造型、自然景物模拟等方面具有广阔的应用前景，然而其难以预测的结果和复杂的表达形式是他们的缺点。 本文回顾了分形几何学的发展历史及迭代函数系统和L系统生成分形图形算法，研究了形式化分形造型系统的文法结构，语义学与形式化表达等技术。基于IFS和L系统的基本理论，结合形式化方法，提出了IFS的符号重写算法，并实现了IFS的符号重写分形造型系统。使得IFS与L系统建立了联系，并给出了适合该算法的符号重写系统实例。通过符号重写系统定义、IFS到该系统的转换、IFS符号重写算法描述和实例，能反映出它比常规IFS和L系统具有更强的表达能力、造型能力和直观交互性。 本文成果为分形造型技术的研究提供了新的途径，其公理化方法和形式化方法的运用大大提高了分形图形的实现效率，在自然景物模拟、动画制作、建筑配景、虚拟现实等方面都有着重要的应用价值。