Es 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
展开▼
