CHARACTERIZATIONS OF THE DECIDABILITY OF SOME PROBLEMS FOR REGULAR TRACE LANGUAGES

被引：31

作者：

AALBERSBERG, IJJ ^{[1
]}

HOOGEBOOM, HJ ^{[1
]}

机构：

[1] STATE UNIV LEIDEN,DEPT COMP SCI,2312 AV LEIDEN,NETHERLANDS

来源：

MATHEMATICAL SYSTEMS THEORY | 1989年 / 22卷 / 01期

关键词：

D O I：

10.1007/BF02088289

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：1 / 19

页数：19

共 33 条

[1] TRACES, DEPENDENCY GRAPHS AND DNLC GRAMMARS [J].

AALBERSBERG, IJ ;

ROZENBERG, G .

[2] THEORY OF TRACES [J].

AALBERSBERG, IJ ;

ROZENBERG, G .

[3]

AALBERSBERG IJ, 1986, 8618 U LEID TECHN RE

[4]

AALBERSBERG IJ, 1987, LECTURE NOTES COMPUT, V267, P250

[5]

AALBERSBERG IJJ, 1986, RAIRO INFORM THEOR, V20, P103

[6]

BERSTEL J, 1986, LECT NOTES COMPUT SC, V233, P15, DOI 10.1007/BFb0016231

[7]

Berstel J., 1979, TRANSDUCTIONS CONTEX

[8]

BERSTEL J, 1985, THEORY CODES

[9]

BERTONI A, 1982, LECT NOTES COMPUT SC, V140, P61

[10]

Bertoni A., 1981, LNCS, V118, P205, DOI DOI 10.1007/3-540-10856-4_86