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

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

Математические вопросы и теория численных методов