0:00 Начало 0:41 Автомат перенос-свертка 3:56 Леммы 6:56 Доказательство 38:11 МП-автомат в КС-грамматику 39:11 Пример построения КС-грамматики 46:21 Лемма 52:31 Доказательство 1:08:21 В следующий раз Лектор: Ахтямов Павел Ибрагимович Дата лекции: Оператор: Савельев Е. Монтажер: Андреев Я. Плейлист:
Hide player controls
Hide resume playing