Лекция 12. Теорема Майхилла-Нероуда

  1. 00:16Простые свойства множеств правых контекстов
  2. 23:28Лемма о сохранении равенства множеств правых контекстов при одинаковом продолжении
  3. 34:08Лемма о словах ограниченной длины, порождающих множества правых контекстов
  4. 43:32Схема построения автомата по конечному множеству множеств правых контекстов на примере
  5. 53:30Лемма о построении ПДКА по конечному множеству множеств правых контекстов
  6. 01:17:08Теорема Майхилла-Нероуда, изоморфизм конечных автоматов
  7. 01:33:00Формальное определение изоморфизма, доказательство изоморфности двух минимальных ПДКА