Для построения МТ, выполняющей конкатенацию двух слов в алфавите {а1, а2, а3, а4, а5, }, можно использовать следующий алгоритм:

Создать ленту, на которой будут записаны два слова, разделенные символом "#" (допустим, что "#" не принадлежит алфавиту).Начать считывание первого слова до символа "#", записывая его на ленту.Перейти к символу "#", считать его и начать считывание второго слова до конца на ленту.Изменить символ "#" на символ конкатенации (например, заменить на символ "a").Вернуться к началу ленты и вывести результат на экран.

Для МТ, выполняющей конкатенацию двух слов в алфавите {а1, а2, а3, а4, а5, }, можно использовать аналогичный алгоритм, изменяя алфавит символов.

Обе МТ будут работать за конечное количество шагов, так как операция конкатенации выполняется за конечное время, и в обоих случаях будет получен результат конкатенации двух слов.