Моделирование конечного куска ленты машины Тьюринга

[b4b5]

Ende
Выделено из темы «Свобода воли - не есть физическая наблюдаемая...»

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

[b4b5]

realeugene в сообщении #1680972 писал(а):

Нет.
Почитайте про теорию вычислимости.

Читайте внимательнее, начните с Шеня.

[juna]

b4b5 в сообщении #1680942 писал(а):

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

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

[b4b5]

juna в сообщении #1680982 писал(а):

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

Я в курсе сказанного вами. Ваш комментарий не отменяет правильности моих комментариев.

[mihaild]

realeugene в сообщении #1681012 писал(а):

Вы подразумевали материальные объекты

Если Вы пришлете мне по почте нематериальные объекты, на которых можно интерпретировать арифметику Пресбургера - это меня тоже устроит.

b4b5 в сообщении #1681011 писал(а):

Ваш комментарий не отменяет правильности моих комментариев

Вы писали:

b4b5 в сообщении #1680942 писал(а):

Человек вполне себе конечный автомат, моделирует не только арифметику, но и машину Тьюринга

Я легко напишу МТ, распознающую язык $a^nb^n$. Может ли человек распознать этот язык?
Если да - то предъявите, пожалуйста, конечный автомат, распознающий этот язык.
Если нет - то, значит, человек не может смоделировать указанную МТ.

-- 04.04.2025, 10:20 --

realeugene в сообщении #1681008 писал(а):

Опубликуйте ссылку на исследование

Присоединяюсь к просьбе. (самостоятельные попытки решения - post1680978.html#p1680978)

[b4b5]

realeugene в сообщении #1681012 писал(а):

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

Конечный кусок ленты машины Тьюринга мы можем моделировать конечным автоматом?
Конечный стек мы можем моделировать конечным автоматм?

[realeugene]

b4b5 в сообщении #1681312 писал(а):

Конечный кусок ленты машины Тьюринга мы можем моделировать конечным автоматом?
Конечный стек мы можем моделировать конечным автоматм?

В машине Тьюринга и стековом автомате лента и стек бесконечные по определению, поэтому, мне не совсем понятно, какой именно смысл вы вкладываете в слова "конечный кусок ленты" и "конечный стек" в контексте "моделировать".

-- 06.04.2025, 16:34 --

Утундрий в сообщении #1681309 писал(а):

Подкину из странного: Теория мультимодального пользовательского интерфейса (MUI) Дональда Хоффмана. Кажется, её ещё здесь не рассматривали.

А вы с какой целью интересуетесь?

[b4b5]

realeugene в сообщении #1681313 писал(а):

В машине Тьюринга и стековом автомате лента и стек бесконечные по определению, поэтому, мне не совсем понятно, какой именно смысл вы вкладываете в слова "конечный кусок ленты" и "конечный стек" в контексте "моделировать".

Понятно, не знаете. )

[mihaild]

b4b5 в сообщении #1681312 писал(а):

Конечный кусок ленты машины Тьюринга мы можем моделировать конечным автоматом?

Сепульки мы можем моделировать конечным автоматом?
Что такое "конечный кусок ленты МТ"?

[b4b5]

Тут на рисунке посмотрите https://ru.wikipedia.org/wiki/Машина_Тьюринга . Кусок ленты от 5 до 5'. Можно от 0 до до N взять.

[realeugene]

b4b5 в сообщении #1681333 писал(а):

Тут на рисунке посмотрите

Подсказываю. Машина Тьюринга - это...

[b4b5]

juna в сообщении #1681337 писал(а):

Не понимаю, чего собственно Вы хотите сказать? Что конечный автомат и машина Тьюринга равномощны? Тогда попробуйте построить конечный автомат, который распознает правильную скобочную структуру при любой ее фиксированной длине.

Я спросил тут http://dxdy.ru/post1681312.html#p1681312
"Конечный кусок ленты машины Тьюринга мы можем моделировать конечным автоматом?"
Пока ответа на данный элементарный вопрос не услышал.

[realeugene]

b4b5 в сообщении #1681343 писал(а):

Пока ответа на данный элементарный вопрос не услышал.

Попробуйте начать слушать.

[mihaild]

b4b5
Дайте точное математическое определение, что такое "кусок ленты" и что значит "его можно моделировать конечным автоматом"?

[b4b5]

Кусок ленты длиной 5 - часть ленты помеченная единицами этой МТ.

$$ \begin{aligned} &(q_0, \sqcup) \to (q_1, 1, R), \\ &(q_1, \sqcup) \to (q_2, 1, R), \\ &(q_2, \sqcup) \to (q_3, 1, R), \\ &(q_3, \sqcup) \to (q_4, 1, R), \\ &(q_4, \sqcup) \to (q_5, 1, R), \\ &(q_5, \sqcup) \to (q_s, \sqcup, S). \end{aligned} $$