Theory of algorithms (Colloquia mathematica Societatis Janos Bolyai, 1985)