Текущее полное описание Т. м. даётся её конфигурацией, которая состоит из указания для данного момента следующей информации: 1) конкретного заполнения клеток ленты символами, 2) клетки, находящейся в поле зрения машины, 3) состояния, в котором машина находится.
Если у данной Т. м. взять в качестве исходной какую-либо конфигурацию с не заключительным состоянием, то работа этой машины будет заключаться в последовательном, шаг за шагом, преобразовании исходной конфигурации в соответствии с программой машины до тех пор, пока не будет достигнута конфигурация с заключительным состоянием. Эта последняя, если она существует, и считается результатом работы данной Т. м. над исходной конфигурацией.
Имеются серьёзные основания считать, что понятие Т. м. доставляет адекватное уточнение общего представления об алгоритме, то есть что всякий алгоритм может быть промоделирован подходящей Т. м. Соответствующее соглашение известно в алгоритмов теории под названием тезиса Тьюринга. Теория Т. м. даёт удобный рабочий аппарат для многих исследований, требующих точного понятия алгоритма. В частности, ввиду естественности совершаемых ими шагов, Т. м. стали объектом пристального внимания в теории сложности алгоритмических вычислений. В ходе развития теории Т. м. рассматривались различные их обобщения: например, Т. м. с более общим типом лент, с несколькими лентами, а также недетерминированные Т. м.
Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Мендельсон Э., Введение в математическую логику, пер. с англ., М., 1971.
Н. М. Нагорный.
Тья'мпа,Тямпа, Чампа, государство, основанное во 2 в. «протоиндонезийцами» — народом тьям (см. Чамы ) на территории центральной части современного Вьетнама. Государство Т. было, по-видимому, первоначально в своей основе рабовладельческим. Развитие феодальных отношений происходило с 5 в. Т. являлась страной поливного земледелия (рис), развитых ремёсел, торговли и кораблестроения. В архитектуре и культовой скульптуре отмечается близость к искусству Южной Индии и Явы. С 5 в. известны письменные памятники на основе южно-индийской графики. В 5 в. Т. признало себя вассалом Китая. С 11 в. в результате войн с вьетнамским (вьетским) государством Дайвьетом границы Т. постепенно отодвигались к Ю. Решающий удар Дайвьет нанёс Т. в 1471.
Лит.: Народы Юго-Восточной Азии, М. 1966.
