R. McKenzie has recently associated to each Turing machine T \mathcal {T} a finite algebra A ( T ) \mathbf {A} (\mathcal {T}) having some remarkable properties. We add to the list of properties, by proving that the equational theory of A ( T ) \mathbf {A}(\mathcal {T}) is finitely axiomatizable if T \mathcal {T} halts on the empty input. This completes an alternate (and simpler) proof of McKenzie’s negative answer to A. Tarski’s finite basis problem. It also removes the possibility, raised by McKenzie, of using A ( T ) \mathbf {A}(\mathcal {T}) to answer an old question of B. Jónsson.