Первая в мировой литературе книга по ДНК-компьютерам, написанная известными специалистами
(Румыния, Нидерланды, Финляндия); последний из авторов знаком читателям по переводам его
"Жемчужин теории формальных языков" ("Мир", 1986), "Криптографии с открытым ключом" ("Мир",
1996). Авторы раскрывают новое перспективное направление на стыке компьютерных наук и
молекулярной биологии -- двух дисциплин, претендующих на право считаться главной наукой XXI
века. В начале книги на доступном уровне изложены основы методов генной инженерии, обсуждены
экспериментальные и теоретические основы ДНК-вычислений. Остальная часть книги носит более
специальный характер и содержит новые результаты по теории формальных языков применительно
к реальным процессам, происходящим с молекулами ДНК в живых клетках.
Для специалистов по прикладной математике, информатике и программированию, для молекулярных
биологов и биохимиков, для аспирантов и студентов университетов.
Author(s): Паун Г., Розенберг Г., Саломаа А.
Publisher: Мир
Year: 2004
Language: Russian
Commentary: 1146108643*Отл
Pages: 529
City: М.
Tags: Информатика и вычислительная техника;Кибернетика;
От редактора перевода......Page 5
Предисловие к русскому переводу......Page 7
Предисловие......Page 8
Введение: суть молекулярных вычислений......Page 9
Строение ДНК......Page 15
Операции над ДНК......Page 26
Секвенирование......Page 47
Комментарии к библиографии......Page 51
Опыт Эдлмана......Page 53
Как решить задачу о выполнимости и взломать криптосистему DES?......Page 63
Переосмысление парадигмы вычислений......Page 85
ДНК-вычисления:надежды и предостережения......Page 94
Комментарии к библиографии......Page 100
Основные понятия: грамматики, автоматы, грамматические системы......Page 103
Характеризации рекурсивно перечислимых языков......Page 132
Универсальные машины Тьюринга и грамматики типа 0......Page 143
Комментарии к библиографии......Page 155
Операция склеивания......Page 156
Системы со склейкой: классификация......Page 162
Выразительная сила систем со склейкой......Page 167
Представления регулярных и линейных языков......Page 177
Характеризации рекурсивно перечислимых языков......Page 181
Дальнейшие результаты о регулярных системах......Page 185
Комментарии к библиографии......Page 193
Автоматы Уотсона--Крика......Page 194
Конечные автоматы Уотсона--Крика......Page 195
Соотношения между WK-семействами......Page 200
Характеризации рекурсивно перечислимых языков......Page 208
Конечные преобразователи Уотсона--Крика......Page 213
Дальнейшие варианты конечных автоматов Уотсона--Крика......Page 216
Автоматы Уотсона--Крика с памятью Уотсона--Крика......Page 223
Универсальные автоматы Уотсона--Крика......Page 231
Комментарии к библиографии......Page 240
Вставка и удаление в контексте ДНК......Page 241
Характеризации рекурсивно перечислимых языков......Page 243
Односимвольные системы вставки и удаления......Page 258
Использование только вставки......Page 266
Комментарии к библиографии......Page 280
Системы сплетения......Page 281
От рекомбинации ДНК к операции сплетения......Page 282
Неитеративное сплетение как операция над языками......Page 286
Итеративное сплетение как операция над языками......Page 297
Выразительная сила расширенных H-систем......Page 312
Простые H-системы......Page 323
Комментарии к библиографии......Page 330
От 1-сплетения к 2-сплетению......Page 333
Разрешающие и запрещающие контексты......Page 336
Языки-мишени......Page 350
Программируемые и развертывающиеся системы......Page 357
H-системы, основанные на двойном сплетении......Page 373
Мультимножества......Page 379
Результаты об универсальности......Page 389
Комментарии к библиографии......Page 396
Варианты операции сплетения для циклических строк......Page 398
Еще один вариант и его возможности......Page 403
Комментарии к библиографии......Page 413
Сплетающие грамматические системы......Page 414
Взаимодействующие распределенные H-системы......Page 427
Двухуровневые распределенные H-системы......Page 441
Распределенные H-системы, изменяющиеся во времени......Page 450
Комментарии к библиографии......Page 459
Ограниченное сплетение. Неитеративный случай......Page 461
Системы репликаций......Page 472
Список литературы......Page 493
Предметный указатель......Page 518
