Zusammenfassung
Es wird ein „Tabulator-Turingmaschine” genanntes Modell einer Turingmaschine definiert, die in einem Schritt mehrere Felder ihres Bandes überspringen kann und dadurch einer realen Datenverarbeitungsanlage näher kommt als eine Turingmaschine der üblichen Definition. Es wird gezeigt, daß diese Maschine zu anderen Komplexitätsklassen führen kann als eine normale mehrbändige Turingmaschine. Als Anwendung wird die Komplexität verschiedener Erkennungsverfahren für kontextfreie Sprachen angegeben.
Summary
A new model of a Turing Machine, called “Tabulator Turing Machine”, is defined. It can shift its head over several squares of the tape and is therefore more similar to a real computer than a normal Turing Machine. The complexity classes defined by this machine are different from those defined by a normal multitape Turing Machine. This device is applied to measure the complexity of several recognition procedures for context free languages.
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Literatur
Earley, J.: An Efficient Context-Free Parsing Algorithm. Comm. ACM13, 94–102 (1970).
Fischer, M. J., undA. L. Rosenberg: Limited Random Access Turing Machines. IEEE Conf. Rec. of 1968 Ninth Ann. Symp. on Switching and Automata Theory, Schenectady, New York, 356–367.
Hennie, C. F.: On-Line Turing Machine Computations. IEEE Trans. Electr. Comp. EC-15, 35–44 (1966).
Hartmanis, J., undR. E. Stearns: On the Computational Complexity of Algorithms. Trans. Am. Math. Soc.117, 285–306 (1965).
Kasami, T.: A Note on Computing Time for Recognition of Languages Generated by Linear Grammars. Inf. Contr.10, 209–214 (1967).
Kosaraju, S. R.: Recognition of Context-Free and Stack Languages. IEEE Conf. Rec. of 1969 Tenth Ann. Symp. on Switching and Automata Theory, Waterloo, Ontario, 129–132.
Kasami, T., undK. Torii: A Syntax-Analysis Procedure for Unambiguous Context-Free Grammars. Journal ACM16, 423–431 (1969).
Schorr, C.-P.: Komplexität von Algorithmen mit Anwendung auf die Analysis. Universität Saarbrücken, Inst. Angew. Math. (1969).
Weicker, R.: Erkennung von kontextfreien Sprachen durch Tabulator-Turingmaschinen. Arbeitsber. Inst. Math. Masch. Datenverarb., Univ. Erlangen, Bd. {vn3}, {snNr. 5} ({dy1970}).
Woods, W. A., undS. Kuno: A Recognition Procedure for Arbitrary Context-Free Grammars and the Upperbound of Recognition Time. Comp. Lab. Harvard Univ., Rep. No. NSF-17, Cambridge, Mass., X1–X26 (1966).
Younger, D. H.: Recognition and Parsing of Context-Free Languages in Timen 3. Inf. Contr.10, 189–208 (1967).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Weicker, R. Tabulator-Turingmaschine und Komplexität. Computing 7, 264–274 (1971). https://doi.org/10.1007/BF02242353
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02242353