Детерминированные vs недетерминированные машины Тьюринга

[Дмитрий С.]

Во-первых, не нашел толкового определения недетерминированных машин Тьюринга(НМТ), в том числе и в статье в Wiki. Поэтому сформулирую вопросы, в которых отчаялся разобраться, о вероятностных машинах Тьюринга (ВМТ). Если я что-то упустил, и есть рабочее определение НМТ, прошу указать на него, дать ссылку или, если не затруднит, привести.

1. Верно ли, что существует такая ВМТ, которая не может быть в принципе симулирована с помощью ДМТ?
2. Верно ли, что существует такая ВМТ, которая не может быть эффективно симулирована с помощью ДМТ?
3. Почему отрицательный ответ на второй вопрос не может быть доказательством неравенства классов сложности P и NP?

[Профессор Снэйп]

Вроде у Шеня это есть. Я точно ссылку сейчас не вспомню, поищите сами.

[Дмитрий С.]

Профессор Снэйп писал(а):

Вроде у Шеня это есть. Я точно ссылку сейчас не вспомню, поищите сами.

Спасибо, посмотрел, врать не стану - ясности не особо прибавилось. Конечно, уже легче, но все же... Все равно, как и везде огульные рассуждения о том, что ДМТ может симулировать ВМТ, пусть это и будет задача экспоненциальной сложности. А если вероятности переходов в ВМТ иррациональные, тогда что? Или иррациональные вероятности в принципе не могут возникнуть при построении алгоритмов для ВМТ? А почему так? Сумбур какой-то...