Лекция 6. Построение автомата для пересечения автоматных языков

  1. 00:16Теорема об эффективном построении автомата для пересечения, допускающего эпсилон-переходы: формулировка и пример
  2. 18:07Доказательство теоремы: конструкция
  3. 26:20Доказательство теоремы: лемма о соответствии каждому «новому» пути некоторых «старых»
  4. 42:54Доказательство теоремы: лемма о соответствии каждому «старому» пути некоторого «нового»
  5. 01:02:53Завершение доказательства теоремы
  6. 01:09:33Пример построения автомата для пересечения языков