摘要
由Lindenmayer创立的L系统既是一个描述生物生长的数学模型,又是一种并发的形式语言.它的研究历来为人所重视.但是,L系统及其种种变形刻画的都是同步的并发系统.实际上,在自然界中存在着许多异步的并发现象.因此,对传统的L系统作了推广,提出了广义L系统的概念,证明了广义L系统不能被传统的L系统所覆盖.还划分了广义L系统的子类,证明了各子类等价的充分必要条件,并得到一个基本定理:两个GPDOL系统（一种确定型广义L系统）L[m1,m2,…,mj]和L[n1,n2,…,nk]等价,当且仅当k=j并且存在诸mi的公因子g和诸ni的公因子h,使得（?）i:mi/g=ni/h.
出处
《中国科学（E辑）》
CSCD
北大核心
2002年第4期530-540,共11页
Science in China(Series E)
基金
国家自然科学重点基金(批准号:69733020)
脑智科学基金
"九七三"预研基金(2001CCA03000)
中国科学院数学与系统科学研究院创新基金
中国科学院数学研究所创新基金
中国科学院计算技术研究所创新基金资助项目
