目前,作为计算机图形学的一个重要内容的分形图形学引起了科学界的广泛关注。IFS和L系统是分形造型的两个经典生成系统,它们的发展对分形学的研究有着重要的意义。然而它们也存在着一些缺点,比如迭代函数系统的IFS码难找、L系统字符串描述复杂等。本文的代数语言系统正是为解决这些问题而提出的。本文首先介绍了分形的发展历史、形式语言相关理论、分形的基本理论及分形图形生成的典型方法,如L系统、迭代函数系统IFS等。根据形式语言的理论研究了代数语言系统的基本概念、运算性质、文法结构、正则表达式等。为了更高效地表示分形图形,依据代数语言系统的文法结构及正则表达式的文法规则,提出了分形图形的代数语言系统。该系统使得代数语言系统和分形建立了联系,为了能更便捷的实现一些分形图形,设定了一些带参数的常量、变量、数学函数、几何图形的自定义符、迭代次数、公理和规则。该系统可以将L系统和IFS进行统一代数描述,也可以将DOL系统、迭代函数系统(IFS)、带凝聚集迭代函数系统(凝聚IFS)、随机迭代函数系统(IFSP)和再归迭代函数系统(RIFS)等进行描述。用户可以根据预定义,系统会自动生成想要的分形图形。该系统还给出正则表达式方程解的形式将分形吸引子进行代数表示,并给出一些实例。实例表明,分形图形可以用该代数语言系统简单、明了、高效地表示。代数语言系统的研究为分形造型的理论描述提供了新的方法,其形式化的描述大大减小了分形图形描述上的困难,增强了表达分形的能力。该系统将L系统和IFS统一表示,这样可以更大限度的利用两个系统的优点。此外,通过代数语言系统代数运算,可以生成更加复杂的分形图形。