Everything Begins with Computation

  • Akira Maruoka


Computer science deals with the issue of what can and cannot be computed and, if possible, how it can be computed. We refer to what a computer does, whatever it is, as “computation.” What to compute is formalized as a problem, whereas how to compute it is formalized as a mechanical procedure or an algorithm. What is defined as a field within which an algorithm works is a computational model. Once a computational model is defined, a set of basic moves that are performed is fixed as one step. Under these settings, the theory of computation is intended to uncover the laws that govern computation, as physical sciences discover the laws that control physical phenomena.


Computational Model Turing Machine Finite Automaton Control Part Generative Grammar 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 6.
    J. Hartmanis, Observations About the Development of Theoretical Computer Science, Annals of the History of Computing, Vol. 3, No. 1, pp. 42–51, 1981. MathSciNetMATHCrossRefGoogle Scholar
  2. 7.
    G. Johnson, All Science Is Computer Science, The New York Times, March 25, 2001. Google Scholar
  3. 32.
    M. Minsky, The Society of Mind, Simon & Schuster, New York, 1985. Google Scholar
  4. 33.
    N. Chomsky, Syntactic Structures, Mouton, The Hague, 1957. Google Scholar
  5. 35.
    L. Valiant, A Theory of the Learnable, Communications of the ACM, Vol. 15, No. 11, pp. 1134–1142, 1984. CrossRefGoogle Scholar
  6. 36.
    A. Maruoka and E. Takimoto, Algorithmic Learning Theory, Encyclopedia of Computer Science and Technology, Vol. 45, Dekker, New York, 2002. Google Scholar
  7. 37.
    S. Arikawa, M. Sato, T. Sato, A. Maruoka, and Y. Kaneda, Structure and Development of Discovery Science, Proceedings of the Institute of Artificial Intelligence of Japan, Vol. 15, No. 4, pp. 595–607, 2000 (in Japanese). Google Scholar

Copyright information

© Springer-Verlag London Limited 2011

Authors and Affiliations

  1. 1.Faculty of Science and EngineeringIshinomaki Senshu UniversityIshinomakiJapan

Personalised recommendations