MONADIC THUE SYSTEMS

被引：81

作者：

BOOK, RV ^{[1
]}

JANTZEN, M ^{[1
]}

WRATHALL, C ^{[1
]}

机构：

[1] UNIV HAMBURG,FACHBEREICH INFORMAT,D-2000 HAMBURG 13,FED REP GER

来源：

关键词：

D O I：

10.1016/0304-3975(82)90036-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：231 / 251

页数：21

共 24 条

[1]

Aho A. V., 1980, FORMAL LANGUAGE THEO, P325

[2]

AUTEBERT JM, 1980, FORMAL LANGUAGE THEO, P49

[3]

Bar-Hillel Yehoshua, 1961, SPRACHTYPOLOGIE UNIV, V14, P143

[4]

BENOIS M, CONGRUENCES QUASI PA

[5]

BERSTEL J, 1976, CONGRUENCES PLUS QUE, P123

[6] CONFLUENT AND OTHER TYPES OF THUE SYSTEMS [J].

BOOK, RV .

[7] TESTING FOR THE CHURCH-ROSSER PROPERTY [J].

BOOK, RV ;

ODUNLAING, CP .

[8] GENERALIZATION OF DYCK SETS [J].

COCHET, Y ;

NIVAT, M .

[9]

COCHET Y, 1971, THESIS RENNES

[10]

Greibach S. A., 1973, SIAM Journal on Computing, V2, P304, DOI 10.1137/0202025