Summary
The purpose of this paper is to establish a certain correspondence between shortest derivations of phrase structure grammars and Turing machine computations, and to show how to connect the derivational complexity introduced by Gladkij to Blum's axioms for partial recursive functions and their step-counting functions. It is shown that main theorems on Blum's axiomatic theory of computational complexity can be transfered to the case of derivational complexity.
Similar content being viewed by others
References
Blum, M.: A machine independent theory of the complexity of recursive functions. J. ACM 14, 322–336 (1967)
Book, R.V.: Time-bounded grammars and their languages. J. Computer System Sci. 5, 391–429 (1971)
Book, R.V.: Personal communication (1976)
Borodin, A.: Computational complexity and the existence of complexity gaps. J. ACM 19, 158–174 (1972)
Ginsburg, S.: The mathematical theory of context-free languages. New York: McGraw-Hill 1966
Gladkij, A.V.: On the complexity of derivations in immediate constituent grammars. Algebra Logika 3, 29–44 (1964)
Hartmanis, J., Stearns, R.E.: On the computational complexity of algorithms. Trans. Amer. Math. Soc. 17, 285–306 (1965)
Hartmanis, J., Hopcroft, J.E.: An overview of the theory of computational complexity. J. ACM 18, 444–475 (1971)
Hopcroft, J.E., Ullman, J.D.: Formal languages and their relation to automata. Reading (Mass.): Addison-Wesley 1969
Igarashi, Y., Honda, N.: A classification of phrase structure languages. Trans. Institute Electronics Communication Engineers, Japan, 53-c, 462–468 (1970)
Igarashi, Y., Honda, N.: Some properties of T(n)-derivable languages. Trans. Institute Electronics Communication Engineers, Japan, 53-c, 637–643 (1970)
Rogers, H.: Theory of recursive functions and effective computability. New York: McGraw-Hill 1967
Rogers, H.: Gödel numbering of partial recursive functions. J. Symbolic Logic 23, 331–341 (1958)
Salomaa, A.: Formal languages. London-New York: Academic Press 1973
Trakhtenbrot, B.A.: Complexity of algorithms and computations. Cource notes, Novosibirsk State University, Novosibirsk, 1967
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Igarashi, Y. General properties of derivational complexity. Acta Informatica 8, 267–283 (1977). https://doi.org/10.1007/BF00264470
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00264470