A SUBCLASS OF DETERMINISTIC CONTEXT-FREE LANGUAGES WITH A DECIDABLE INCLUSION PROBLEM

被引：0
|
作者：
GORSHKOV, PV
STAVROVSKII, AB
机构：
来源：
CYBERNETICS | 1990年 / 26卷 / 02期
关键词：
D O I：
10.1007/BF01068604
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
A new subclass of deterministic context-free languages with a decidable inclusion problem is described in terms of finite automata on the direct product of free semigroups. The decidability proof exploits the structural properties of the automata. © 1990 Plenum Publishing Corporation.
引用
收藏
页码：156 / 162
页数：7
相关论文
共 50 条
12345