ДНК-КОМПЬЮТЕР. Новая парадигма вычислений. Пер. с английского. Г. Паун, Г. Розенберг, А. Саломаа.
ДНК-КОМПЬЮТЕР. Новая парадигма вычислений. Пер. с английского. Г. Паун, Г. Розенберг, А. СаломааПервая в мировой литературе книга по ДНК-вычислениям написана известными европейскими специалистами в области компьютерных наук, раскрывая новое перспективное направление на стыке компьютерных наук и молекулярной биологии – двух дисциплин, претендующих называться главной наукой XXI века.
Первая часть книги (главы 1 и 2) на доступном любому неподготовленному читателю уровне излагает основы методов генной инженерии, описывает экспериментальные и теоретические основы ДНК-вычислений. Глава 1 представляет обзор методов оперирования с ДНК, которые лежат в основе генетической инженерии и ДНК-вычислений, описывая строение ДНК, операции над ними и секвенирование. Глава 2 содержит подробное описание и обсуждение экспериментальных и теоретических основ ДНК-вычислений, описывая опыт Эдлмана, возможности решения задачи о выполнимости и взломе криптосистемы DES, переосмысление парадигмы вычислений и их перспективы.
Вторая часть книги (главы 3-11) носит более специальный характер и содержит новые результаты по теории формальных языков применительно к реальным процессам, происходящим с молекулами ДНК в живых клетках. Дано введение в теорию формальных языков, описаны различные системы: со склейкой, вставки и удаления, сплетения, сплетения циклических строк; охарактеризована универсальность и описана конечность Н-систем (разрешающие и запрещающие контексты, языки-мишени, программируемые и развертывающиеся системы, Н-системы, основанные на двойном сплетении, мультимножества, результаты об универсальности; охарактеризованы автоматы Уотсона-Крика. Описано много новых результатов, проясняющих возможности различных моделей ДНК-вычислений, инспирированных реальными процессами в живых клетках.
Для специалистов по прикладной математике, информатике и программированию, для молекулярных биологов и биохимиков, для аспирантов и студентов университетов.