Tm

Tm ready,' she told him. He nodded and they slipped away into the trees.

— Все, идем, — сказала Дива, и они углубились в лес.

Gemmell, David / The Hawk EternalГеммел, Дэвид / Вечный ястреб

Вечный ястреб

Геммел, Дэвид

The Hawk Eternal

Gemmell, David

© 1995 by David A. Gemmell

Tm afraid not, though I've done as much as I can.

— Боюсь, что нет, хотя я сделал все, что мог.

Tartt, Donna / The Secret HistoryТартт, Донна / Тайная история

Тайная история

Тартт, Донна

© 1992 by Donna Tartt

© Д. Бородкин, Н. Ленцман, перевод на русский язык, 2007

© ООО "Издательская группа "Аттикус", 2009

The Secret History

Tartt, Donna

© 1992 by Donna Tartt

where Tm—the preferable temperature up to which liquid metal 15 is heated up while the electric current flows through it;

где TM - температура, до которой предпочтительно разогревается жидкий металл 15 при прохождении по нему электрического тока;

http://www.patentlens.net/ 12/26/2011

http://www.patentlens.net/ 12/26/2011

Psteam,m is the partial steam pressure at the condensation temperature Tm at the given point (m) of the borehole mouth, z is the steam and non-condensed gas compressibility in the borehole (s) mouth and at the given point (m) of the borehole mouth.

Psteam,m - парциальное давление пара при температуре конденсации Tm в данной точке (m) в стволе скважины, z - сжимаемость пара (stеаm) и неконденсируемого газа (gаs) на устье скважины (s) и в данной точке (m) в стволе скважины.

http://www.patentlens.net/ 11/1/2011

http://www.patentlens.net/ 11/1/2011

With this, the total and partial pressures Pm, Psteam,s and Psteam,m are determined by temperatures Ts and Tm measured at these points (pre- and post-non-condensed gas injection).

При этом значения полного и парциальных давлений Pm, Psteam,s и Psteam,m определяют по результатам измерений температуры Ts и Tm в этих точках (до и после закачки неконденсируемого газа).

http://www.patentlens.net/ 11/1/2011

http://www.patentlens.net/ 11/1/2011

To begin our study of how a TM simulates a computer, let us give a realistic but informal model of how a typical computer operates.

Приведем реалистичную, хотя и неформальную, модель функционирования обычного компьютера.

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычислений

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

This problem — whether a boolean expression is satisfiable — is proved NP-complete by explicitly reducing the language of any nondeterministic, polynomial-time TM to the satisfiability problem.

Ее NP-полнота доказывается путем непосредственного сведения к ней языка любой недетерминированной МТ с полиномиальным временем.

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычислений

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

If this problem with inputs restricted to the binary alphabet is undecidable, then surely the more general problem, where TM's may have any alphabet, is undecidable.

Если эта проблема неразрешима при условии, что алфавит— двоичный, то она, безусловно, будет неразрешимой и в более общем виде, при произвольном входном алфавите.

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычислений

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

By scanning the two values from their right cuds, a. TM can perform a ripple-carry addition with little difficulty.

Сканируя два значения справа налево, МТ может выполнить сложение с переносом.

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычислений

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Describe the transition function of the TM informally but clearly.

Опишите неформально, но четко и ясно функцию переходов данной МТ.

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычислений

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Works were initiated to define the main components of the specification of an automated system for controlling electronic document flow for trademarks — the system “TM-ADMIN”.

Начаты работы по определению основных компонент спецификации автоматизированной системы управления электронным документооборотом для товарных знаков — система «TM-ADMIN»;

© 2009 Роспатент

http://www1.fips.ru/ 10/25/2007

Note that w is not the input to M'; rather, M' writes M and w onto one of its tapes and simulates the universal TM U on that pair, as in the proof of Theorem 9.8.

Отметим, что w не является входом М'. М' записывает М и w на одну из своих лент и имитирует МТ U на этой паре, как в доказательстве теоремы 9.8.

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычислений

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Our next goal is to devise a binary code for Turing machines so that each TM with input alphabet {0,1} may be thought of as a binary string.

Наша следующая цель — разработать для машин Тьюринга такой код, чтобы всякую МТ с входным алфавитом {0, 1} можно было рассматривать как двоичную цепочку.

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычислений

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Without mentioning it explicitly, these TM's included at least one that solves TSP, one that solves IS, and so on.

Среди этих МТ была хотя бы одна, решающая ПКОМ, хотя бы одна, решающая НМ, и так далее, но они не указывались явно.

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычислений

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

All problems about Turing machines that involve only the language that the TM accepts are undecidable, by Theorem 9.11.

Согласно теореме 9.11 все проблемы, связанные только с языками машин Тьюринга, неразрешимы.

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычислений

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley