DECOMPOSITIONS OF SEMI-THUE-SYSTEMS

被引：2

作者：

CLAUS, V

WALTER, H

机构：

[1] Institut für Angewandte Mathematik der Universität des Saarlandes, Saarbrücken

来源：

COMPUTING | 1969年 / 4卷 / 02期

关键词：

D O I：

10.1007/BF02234759

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We consider five notions of decompositions of Semi-Thue-Systems. These are interesting in view of the theory of Semi-Thue-Systems as well as in regard to practical applications (simplification of the analysisproblem). The decompositions form a simple hierarchy. We proof a necessary and sufficient condition for each of the decompositions. Three of the notions are shown to be determinable in general, the other two notions are determinable only for contextfree Semi-Thue-Systems. © 1969 Springer-Verlag.

引用

页码：107 / &