Abstract
(English) | Markov Normal Algorithms have been introduced by Markov [1,2] in order to define computational procedures by means of string transformation procedures as a basis for studies in computability theory. In this lecture we shall first recall the concept of MNA and compare it with that of Turing machines.
|