Markov's [2] notion of Normal Algorithm (NA), with which we assume familiarity, is the simplest of the better known ways of expressing the concept of algorithmicity. An NA consists of an ordered finite list of replacement formulae The dots in parentheses indicate that a given replacement formula may be either simple (P → Q), or terminal (P → .Q). No restrictions are imposed on the lengths of the Pi and Qi in the replacement formulae, and the only rule of order of application is a priority rule to the effect that of several replacement formulae applicable to a word W at a given step, the earliest one is used.