广义L系统

被引：12

作者：

陆汝钤

张文妍

陆汝钤

机构：

[1] 中国科学院数学与系统科学研究院数学研究所智能信息处理重点实验室

[2] 复旦大学智能信息处理开放实验室北京

[3] 北京

[4] 上海

来源：

中国科学E辑:技术科学 | 2002年 / 04期

关键词：

L系统; 并发; 异步; 分类;

D O I：

暂无

中图分类号：

TP11 [自动化系统理论];

学科分类号：

0711 ; 071102 ; 0811 ; 081101 ; 081103 ;

摘要：

由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.

引用

页码：530 / 540

页数：11

共 8 条

[1]

Remarks on regulated limited ETOL systems and regulated context free grammars. Fernau H,Waetjen D. Theoretical Computer Science . 1998

[2]

The Algorithmic Beauty of Sea Shells (Virtual Laboratory). Meinhardt H,Prusinkiewicz P,Fowler D R. . 1998

[3]

The Algorithmic Beauty of Plants. Lindenmayer A,Prusinkiewicz P. . 1990

[4]

On inherently ambiguous EOL languages. Ehrenfeucht A,Rozenberg G,Verraedt R. Theoretical Computer Science . 1984

[5]

Bounded delay L codes. Maurer H A,Salomaa A A,Wood D. Theoretical Computer Science . 1991

[6]

The Mathematical Theory of L Systems. Rozenberg G,Salomaa A. . 1980

[7]

Frontiers of Complexity. Coveney P,Highfield R. . 1995

[8]

Regulations of uniformly k-limited ET0L systems and their relations to controlled context-free grammars. Waetjen D. J Automata, Languages, and Combinatorics . 1996

← 1 →