Я вивчив основні теорії машин Тьюрінга якбакалаврат. Я ніколи не бачив жодної згадки про приурочене тюрінг обробці. Приклад: машина для твердження, яка рахує кількість секунд, що пройшли з моменту запуску.
Сучасні комп’ютери явно мають спроможністьце. Отже, "комп'ютерні можливості" є сукупністю того, що може зробити машина Тьюрінга. Чи є деякі статті / математика / документація з цього приводу? Або мій аргумент в якийсь момент неправильний?
Відповіді:
5 за відповідь № 1Машина Тьюрінга не використовує час, тому що не робитьнеобхідно, це чисто обчислювальний пристрій, і обчислення - це не виведення часу, а час - це виведення обчислень. Все-таки це механічний пристрій, тому через це потрібно час, щоб зробити кроки, тому машина може потенційно рахувати і цей час, але для цього знадобиться інша машина, яка довіряє це зробити.
пс. Це відбувається через ентропію, час обчислюється обчисленнями. Ви можете скинути комп'ютер у нетривалий час, - це в зворотному напрямку ентропії. Отже, тому завантаження майже завжди займає більше часу, ніж вимкнення, особливо якщо ви відключаєте живлення.
1 для відповіді № 2
Звичайно машина Тьюрінга може обчислити час.
Скажімо, ваша машина Тьюрінга робить крок щосекунди.
Запишіть поточний час на стрічку машини Тюрінга (дорівнює налаштуванню час в BIOS або завантаження з Інтернету)
Відредагуйте машину, щоб вона додала 1 секунду часу на стрічку на кожному кроці (дорівнює електричний "генератор тиків" на материнській платі збільшує кількість в BIOS у кожному галочку)
Тепер ви можете покласти цю машину для твердіння на стіну. Ви побачите точний час кожного разу, коли переглянете його стрічку.
Але пам’ятайте, машина Тьюрінга працює залфавіту. Комп'ютери працюють з алфавітом {0,1}. Машина Тьюрінга (або комп'ютера) не знає, чи являють собою ці нулі і букви, цифри, малюнки або відео.
0 для відповіді № 3
Можливо, ви захочете прочитати його неофіційне визначення або, якщо вам зручніше, то формальне визначення того, що таке машина для твердіння у Вікіпедії
Випадково гугла я теж знайшла це що здається перспективним.
Я думаю, коротше кажучи, ви праві, комп'ютери є зручніше ніж машини для тюрінга, але в основному жоден пристрій ніколи не може вирішити щось, що не можна вирішити за допомогою однієї або декількох машин для твердіння.