Zerlegungen von Semi-Thue-Systemen

ZusammenfassungEs werden fünf Zerlegungsbegriffe für Semi-Thue-Systeme diskutiert, die sowohl für die allgemeine Theorie, als auch für praktische Zwecke (Vereinfachung des Analyseproblems) Bedeutung haben. Die Zerlegungsbegriffe bilden eine einfache Hierarchie. Wir geben für jeden Zerlegungsbegriff ein notwendiges und hinreichendes Kriterium an. Drei der Zerlegungsbegriffe erweisen sich als generell entscheidbar, zwei dagegen sind es nur im kontextfreien Fall.SummaryWe 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.