The strong equivalence of ETOL grammars

被引：2
|
作者：
Istrate, G
机构：
来源：
INFORMATION PROCESSING LETTERS | 1997年 / 62卷 / 04期
关键词：
formal languages; L-systems; structural equivalence;
D O I：
10.1016/S0020-0190(97)00067-7
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We define a version of structural equivalence of ETOL grammars, called strong equivalence, that takes into account their matrix structure, and prove its decidability. (C) 1997 Elsevier Science B.V.
引用
收藏
页码：171 / 176
页数：6
相关论文
共 50 条
12345