научный ликбез

У стекла есть определенный запас по упругим деформациям. Просто очень и очень маленький.

AGRESSOR> У стекла есть определенный запас по упругим деформациям. Просто очень и очень маленький.
Дык, в этом, собственно, и вопрос Не является ли он пренебрежимо малым

Дык смотря для чего.

TheFreeMan> "Никакой детерминированный алгоритм не может генерировать полностью случайные числа, а только лишь аппроксимировать некоторые свойства случайных чисел. Как сказал Джон фон Нейман, «всякий, кто питает слабость к арифметическим методам получения случайных чисел, грешен вне всяких сомнений»."
Да тут до него всё понятно. Возьми машину Тьюринга, произвольные грамматики или цепи Маркова. Один хрен, они эквивалентны. Ну, или просто определение алгоритма. И всё понятно.

Татарин> Так вот, что интересно: недетерменированая - принципиально мощнее.

Дай определение мощности.

Татарин> То есть, на ней выполнимы более эффективные алгоритмы.
Дай определение эффективности. Если это просто последовательность шагов, то такой "более мощной" нет.

AGRESSOR>> У стекла есть определенный запас по упругим деформациям. Просто очень и очень маленький.
Kernel3> Дык, в этом, собственно, и вопрос Не является ли он пренебрежимо малым

Вы посозерцайте согнутый лист или катушку волокна из стекла, и ответьте себе сами.

>У стекла есть определенный запас по упругим деформациям. Просто очень и очень маленький.

Главной проблемой является то что у стекла большую роль играют поверхностные эффекты.

Так, товарищи, давайте не разводить флейм про машину Тьюринга. В любой клетке ленты машины Тьюринга может быть написано "взять случайное число". Самой машине по барабану, откуда оно берётся.
Нельзя получить случайное число, используя вычислительные алгоритмы. Но это ещё не все алгоритмы. "Считать значение напряжения с источника белого шума" - тоже шаг алгоритма.

Они про абстрактные математические алгоритмы. Ёжику ясно что можно взять случайное число с датчика без малейшего напряга. Но это уже некошерно

Хм... мне чё-т помнилось с первого курса со всяких игр с эмуляторами машины Тьюринга, что в клетках там можно записывать куда более примитивные команды...

Fakir> Хм... мне чё-т помнилось с первого курса со всяких игр с эмуляторами машины Тьюринга, что в клетках там можно записывать куда более примитивные команды...
В клетках машины Тьюринга можно записывать любые символы из её алфавита. Так что, вопрос не к Тьюрингу, а к его эмуляторам.

И алфавит можно составлять совершенно произвольно? Т.е. в определении Тьюринга ограничений на алфавит на накладывается?

Fakir> Т.е. в определении Тьюринга ограничений на алфавит на накладывается?
Накладывается. Он должен быть конечным.

Fakir> И алфавит можно составлять совершенно произвольно? Т.е. в определении Тьюринга ограничений на алфавит на накладывается?
На алфавит IMHO только одно -
должен быть пустой символ, останавливающий выполнение.

au> Вы посозерцайте согнутый лист или катушку волокна из стекла, и ответьте себе сами.
А где на такое чудо посмотреть можно, не подскажете?

au>> Вы посозерцайте согнутый лист или катушку волокна из стекла, и ответьте себе сами.
Kernel3> А где на такое чудо посмотреть можно, не подскажете?

http://products.jdsu.com/assets/public/jpg/0214_rrg_impt_2_011105.jpg [zero size or time out]
http://www.jdsu.com/.../Products/Solar_Power_Products&id=5382


http://www.corning.com/opticalfiber/products__applications/

А ещё можете поглядеть стеклянную ткань, войлок и прочие гибкие вещи из стекловолокна.

Хорошо, уточню вопрос: стеклянные стержни можно считать абсолютно твёрдыми телами или нет?

Kernel3> Хорошо, уточню вопрос: стеклянные стержни можно считать абсолютно твёрдыми телами или нет?
Абсолютно твердые - это как?

marata> Абсолютно твердые - это как?
Это без упругих деформаций По-термеховски, так сказать: две любых точки, связанных с телом, в любой момент времени имеют одни и те же относительные (друг друга) координаты. Ну или как-то так

Jabberwocky> На алфавит IMHO только одно -
Jabberwocky> должен быть пустой символ, останавливающий выполнение.
Конечным он тоже должен быть. Это следует из конечного числа состояний МТ.

Fakir> И алфавит можно составлять совершенно произвольно? Т.е. в определении Тьюринга ограничений на алфавит на накладывается?

Машина Тьюринга в самом общем виде (универсальные МТ) характеризуется двумя числами размером алфавита и размером пространства состояний. Записывается это так M(m,n). Существует масса интересных теорем для разных m и n. Поэтому часто это дело записывают в качестве положительного квадранта плоскости, где m и n откладывают по осям. А в клеточках на пересечении m и n отмечают, что доказано.


Насчёт стартового и стопового символа — ребята, вы путаете грамматики и МТ. У МТ важны начальное и конечное состояние, а не символы алфавита. Алфавит должен быть конечным.

Kernel3> Хорошо, уточню вопрос: стеклянные стержни можно считать абсолютно твёрдыми телами или нет?
Нет. Когда везут стёкла для витрины магазинов, то можно увидеть, как они изгибаются. Ну и подойди к стеклу, что вставлено в большую витрину и нажми. Его можно прогнуть на миллиметры. Ну или стукни по стелянной двери и направь туда лучик света, чтобы отражался и посмотри на его танцы — по амплитуде скакания отражения и расстоянию до зайчика можешь определить амплитуду колебания поверхности. Чтобы не было сомнений, направь лучики в нижнюю, среднюю и верхнюю часть двери — они будут колебаться по разному как по амплитуде, так и по фазе.

аболютно твёрдыми или абсолютно упругими?

MIKLE> аболютно твёрдыми или абсолютно упругими?
Именно твёрдыми Абсолютно упругими считать явно нельзя.

MIKLE> аболютно твёрдыми или абсолютно упругими?

...а заодно и абсолютно чёрными

Кернел, все эти "абсолюты" - есть абсолютная абстракция, которые в зависимости от обстоятельств можно употреблять, с большей или меньшей ошибкой (то есть отклонениями от реальных экспериментальны величин).
(В "Теории поля" Ландавшица, например, параграф отдельный посвящен док-ву принципиальной невозможности существования того, что принято называть "абсолютно твёрдым телом")
В каких-то случаях и резину можно считать абсолютно твёрдым телом, в каких-то - и алмаз нельзя.