Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Таймкоды: 0:00 Алгоритм Эрли 5:36 Задача на эту лекцию 16:09 Определение ситуации 21:25 Лемма 28:15 Как переходим при операциях по ситуациям? 34:30 Кодируем старт и финиш 36:37 Доказательство выводимости Лектор: Ахтямов Павел Ибрагимович Дата лекции: 29.10.2024 Оператор: Савельев Е. Монтажер: Андреев Я. Плейлист: • Формальные языки и трансляции (2 курс, осе...
