Vier Entscheidbarkeitsprobleme für kontextsensitive Sprachen
暂无分享,去创建一个
ZusammenfassungDie kontextsensitiven Sprachen bilden nicht die allgemeinste Klasse algorithmisch erzeugbarer Sprachen. Dennoch lassen sich vielfältige Probleme (FERMAT) in Entscheidbarkeitsfragen über kontextsensitive Sprachen einbetten. Die hier behandelten Probleme sind sowohl von algebraischem Interesse, als auch für die Umformung von Sprachen durch Homomorphismen und damit für die Analyse wichtig. Leider sind alle gestellten Probleme nicht entscheidbar.SummaryThe context-sensitive languages do not constitute the total class of languages generated by algorithms. Nevertheless various problems (FERMAT) can be embedded in problems of decidability on context-sensitive grammars. The problems here considered are not only of algebraic interest but treat the transformation of languages by homomorphisms and so concern the simplification of language analysing. Unfortunately the questions examined here are undecidable.
[1] Günter Hotz. Eindeutigkeit und Mehrdeutigkeit formaler Sprachen , 1966, J. Inf. Process. Cybern..
[2] Peter S. Landweber,et al. Three Theorems on Phrase Structure Grammars of Type 1 , 1963, Inf. Control..
[3] Günter Hotz. Eine Bemerkung zur Zerlegung von Produktionssystemen von Semi-Thue-Systemen , 1968, J. Inf. Process. Cybern..
[4] G. Hotz. Reduktionssätze über eine Klasse formaler Sprachen mit endlich vielen Zuständen , 1968 .