Классические абстрактные машины и теория автоматов лидируют в ПОСЛЕДОВАТЕЛЬНОМ подходе. Если мы откроемся здесь для параллельных/параллельных моделей, то это добавит «новую вселенную», и она не закрыта для обычных подходов: только последовательная является «хорошо закрытой» теорией. Общение последовательных процессов (CSP) — это абстрактная машина?? Мы можем показать отношения... но будьте осторожны с НОВОЙ ТАКСОНОМИЕЙ (см . Таксономию Флинна и другие). -- Краусс , октябрь 2006 г.
Вопрос: абстрактная машина , реализация которой (т. е. виртуальная машина ) больше не абстрактна? А как насчет абстрактной машины Уоррена (WAM)?
Если я не ошибаюсь радикально в отношении того, насколько широким является понятие абстрактной машины, не каждая модель вычислений будет абстрактной машиной. Например, модели вычислений, допускающие вычисления в структурах, отличных от целых чисел (например, вещественных), или других абстрактных понятий, которые ни в коем случае не связаны с идеей машины.
Считаются ли рекурсивные функции моделью вычислений? Они определяются как наименьший класс функций, содержащий некоторые базовые функции и замкнутый при мю-рекурсии. Если я еще не удосужился это сделать, может ли кто-нибудь, кто знает, о чем они говорят, попытаться создать отдельную страницу для модели вычислений.
Откуда взялась таксономия в разделе 1? Использование линнеевских рангов и нумерация не являются стандартными в области теории автоматов. Гдр 13:38, 8 июля 2007 г. (UTC)
От ван Эмде Боаса, но косвенно. Поэтому я удалил его и все ссылки на него. То, что у вас осталось, это кусок мусора, также известный как «хуже, чем заглушка». Wvbailey ( обсуждение ) 23:28, 20 августа 2014 (UTC)