Миронов А. А. - Информатика. Часть 2 - Формальная грамматика

0:00:19 1. Поиск консервативных вторичных структур методом ковариации 0:08:16 2. Формальная грамматика 0:27:00 3. Задача (описание нуклеотидных последовательностей) 0:39:20 4. Контекстно-свободная грамматика #миронов #формальнаясемантикапо #верификацияпо