DECIDABILITY OF EQUIVALENCE PROBLEM FOR DOL-SYSTEMS

被引：61

作者：

CULIK, K ^{[1
]}

FRIS, I ^{[1
]}

机构：

[1] UNIV WATERLOO, DEPT COMP SCI, WATERLOO N2L 3G1, ONTARIO, CANADA

来源：

INFORMATION AND CONTROL | 1977年 / 35卷 / 01期

关键词：

D O I：

10.1016/S0019-9958(77)90512-5

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：20 / 39

页数：20

共 12 条

[1] CULIK K, 1977, CS7524 U WAT DEP COM
[2] CULIK K, 1977, THEOR COMPUT SCI, V3, P75
[3] EHRENFEUCHT A, 1974, COMMUNICATION
[4] Gantmacher F.R., 1960, THEORY MATRICES, V2
[5] JOHANSEN P, 1974, LECTURE NOTES COMPUT, V15
[6] KARHUMAKI J, 1976, DECIDABILITY EQUIVAL
[7] DEVELOPMENTAL SYSTEMS WITHOUT CELLULAR INTERACTIONS, THEIR LANGUAGES AND GRAMMARS
LAINDENM.A
[J]. JOURNAL OF THEORETICAL BIOLOGY, 1971, 30 (03) : 455 - &
[8] DECIDABILITY OF SOME EQUIVALENCE PROBLEMS FOR DOL-SYSTEMS
NIELSEN, M
[J]. INFORMATION AND CONTROL, 1974, 25 (02): : 166 - 193
[9] INTEGRAL SEQUENTIAL WORD FUNCTIONS AND GROWTH EQUIVALENCE OF LINDENMAYER SYSTEMS
PAZ, A
SALOMAA, A
[J]. INFORMATION AND CONTROL, 1973, 23 (04): : 313 - 343
[10] Salomaa A., 1973, Acta Informatica, V2, P40, DOI 10.1007/BF00571462