Что представлено на данном изображении ?

• Формальное изображении машины Тьюринга
• Формальное изображение теоремы Поста
• Бесконечная матрица машин Тьюринга
• Многоленточная машина Тьюринга