Большая Советская энциклопедия (ТЬ) [БСЭ БСЭ] (fb2) читать постранично, страница - 5

конфигурацией.

  Имеются серьёзные основания считать, что понятие Т. м. доставляет адекватное уточнение общего представления об алгоритме, то есть что всякий алгоритм может быть промоделирован подходящей Т. м. Соответствующее соглашение известно в алгоритмов теории под названием тезиса Тьюринга. Теория Т. м. даёт удобный рабочий аппарат для многих исследований, требующих точного понятия алгоритма. В частности, ввиду естественности совершаемых ими шагов, Т. м. стали объектом пристального внимания в теории сложности алгоритмических вычислений. В ходе развития теории Т. м. рассматривались различные их обобщения: например, Т. м. с более общим типом лент, с несколькими лентами, а также недетерминированные Т. м.

  Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Мендельсон Э., Введение в математическую логику, пер. с англ., М., 1971.

  Н. М. Нагорный.

(обратно)

Тьямпа

Тья'мпа, Тямпа, Чампа, государство, основанное во 2 в. «протоиндонезийцами» — народом тьям (см. Чамы) на территории центральной части современного Вьетнама. Государство Т. было, по-видимому, первоначально в своей основе рабовладельческим. Развитие феодальных отношений происходило с 5 в. Т. являлась страной поливного земледелия (рис), развитых ремёсел, торговли и кораблестроения. В архитектуре и культовой скульптуре отмечается близость к искусству Южной Индии и Явы. С 5 в. известны письменные памятники на основе южно-индийской графики. В 5 в. Т. признало себя вассалом Китая. С 11 в. в результате войн с вьетнамским (вьетским) государством Дайвьетом границы Т. постепенно отодвигались к Ю. Решающий удар Дайвьет нанёс Т. в 1471.

  Лит.: Народы Юго-Восточной Азии, М. 1966.

(обратно)