Последовательная композиция машин Тьюринга
Последовательной композициейилисуперпозициеймашин Тьюринга 
и 
, вычисляющих словарные функции 
и 
в алфавите А, называется машина M, вычисляющая функцию 
.
Последовательная композиция изображается следующим образом:
и обозначается 
или 
.