КО всё подсказывает, что на тьюринг-машине нельзя сделать непрерывное время. Максимум взять вещественные Маркова

Можно, конечно, считать, что вещественные Маркова это непрерывное время (в терминах russian constructivism), но работать с ними в реальном проекте я бы не стал.

дались вам эти тюринг-машины

они ж с фп выше первого порядка не бьются :)

К сожалению все реальные компьютеры ограничены сверху тьюринг-машинами

конечными автоматами тогда уже

Нет, они сильнее даже чем линейно-ограниченные автоматы, а конечные и подавно

атомов во вселенной всего-то около 10^23

Офттоп какой-то начинается, я не буду больше на некорректные утверждения отвечать :)

А почему синхронное?

почему некорректные, уже у стековых автоматов стек бесконечный

Ноуп, я спорить не буду :) Аутотренинг. Лучше про синхронность расскажи

ноуп так ноуп

Тут оффтопик просто, зачем чат забивать этим?

Т.е. кажется, что если у тебя push-based FRP, то система асинхронная автоматически

Галоген забыли

Ну, в принципе, интересно следить за вашей дискуссией. :)

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

И дальше исключительно вопрос в зависимости количества доступной нам памяти от времени. Если она линейная, то вычислительная мощность — линейно-ограниченные автоматы, если предположить (и это логично), что она кубическая, то уже более мощные вычисления нам доступны

ну ладно, вселенную пока отставим в сторонку, реальные компы все равно обычно поменьше :)

Ну да, по пока при этом рост количества доступной нам памяти от времени близок к эспоненциальному