- Артикул:00-01092738
- Автор: Г. Паун, Г. Розенберг, А. Саломаа
- ISBN: 5-03-003480-3
- Тираж: 2000 экз.
- Обложка: Твердая обложка
- Издательство: МИР (все книги издательства)
- Город: Москва
- Страниц: 528
- Формат: 60х90 1/16
- Год: 2004
- Вес: 734 г
Развернуть ▼
Первая в мировой литературе книга по ДНК-компьютерам, написанная известными специалистами (Румыния, Нидерланды, Финляндия); последний из авторов знаком читателям по переводам его «Жемчужин теории формальных языков» («Мир», 1986), «Криптографии с открытым ключом» («Мир», 1996). Авторы раскрывают новое перспективное направление на стыке компьютерных наук и молекулярной биологии - двух дисциплин, претендующих на право считаться главной наукой XXI века. В начале книги на доступном уровне изложены основы методов генной инженерии, обсуждены экспериментальные и теоретические основы ДНК-вычислений. Остальная часть книги носит более специальный характер и содержит новые результаты по теории формальных языков применительно к реальным процессам, происходящим с молекулами ДНК в живых клетках.
Для специалистов по прикладной математике, информатике и программированию, для молекулярных биологов и биохимиков, для аспирантов и студентов университетов.
Содержание
От редактора перевода
Предисловие к русскому переводу
Предисловие
Введение: суть молекулярных вычислений
1 Как устроена ДНК и как с ней работают
1.1 Строение ДНК
1.2 Операции над ДНК
1.3 Секвенирование
1.4 Комментарии к библиографии
2 Начала молекулярных вычислений
2.1 Опыт Эдлмана
2.2 Как решить задачу о выполнимости и взломать криптосистему DES?
2.3 Переосмысление парадигмы вычислений
2.4 ДНК-вычисления: надежды и предостережения
2.5 Комментарии к библиографии
3 Введение в теорию формальных языков
3.1 Основные понятия: грамматики, автоматы, грамматические системы
3.2 Характеризации рекурсивно перечислимых языков
3.3 Универсальные машины Тьюринга и грамматики типа 0
3.4 Комментарии к библиографии
4 Системы со склейкой
4.1 Операция склеивания
4.2 Системы со склейкой: классификация
4.3 Выразительная сила систем со склейкой
4.4 Представления регулярных и линейных языков
4.5 Характеризации рекурсивно перечислимых языков
4.6 Дальнейшие результаты о регулярных системах
4.7 Комментарии к библиографии
5 Автоматы Уотсона-Крика
5.1 Конечные автоматы Уотсона-Крика
5.2 Соотношения между WK-семействами
5.3 Характеризации рекурсивно перечислимых языков
5.4 Конечные преобразователи Уотсона-Крика
5.5 Дальнейшие варианты конечных автоматов Уотсона-Крика
5.6 Автоматы Уотсона-Крика с памятью Уотсона-Крика
5.7 Универсальные автоматы Уотсона-Крика
5.8 Комментарии к библиографии
6 Системы вставки и удаления
6.1 Вставка и удаление в контексте ДНК
6.2 Характеризации рекурсивно перечислимых языков
6.3 Односимвольные системы вставки и удаления
6.4 Использование только вставки
6.5 Комментарии к библиографии
7 Системы сплетения
7.1 От рекомбинации ДНК к операции сплетения
7.2 Неитеративное сплетение как операция над языками
7.3 Итеративное сплетение как операция над языками
7.4 Выразительная сила расширенных Н-систем
7.5 Простые Н-системы
7.6 Комментарии к библиографии
8 Универсальность и конечные Н-системы
8.1 От 1-сплетения к 2-сплетению
8.2 Разрешающие и запрещающие контексты
8.3 Языки-мишени
8.4 Программируемые и развертывающиеся системы
8.5 Н-системы, основанные на двойном сплетении
8.6 Мультимножества
8.7 Результаты об универсальности
8.8 Комментарии к библиографии
9 Сплетение циклических строк
9.1 Варианты операции сплетения для циклических строк
9.2 Еще один вариант и его возможности
9.3 Комментарии к библиографии
10 Распределенные Н-системы
10.1 Сплетающие грамматические системы
10.2 Взаимодействующие распределенные Н-системы
10.3 Двухуровневые распределенные Н-системы
10.4 Распределенные Н-системы, изменяющиеся во времени
10.5 Классы вычислительно полных Н-систем
10.6 Комментарии к библиографии
11 И вновь о сплетении
11.1 Ограниченное сплетение. Неитеративный случай
11.2 Системы репликаций
11.3 Комментарии к библиографии
Список литературы
Глоссарий биохимических терминов
Предметный указатель
Рекомендуем
