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

  1. 00:16Пример построения минимального ПДКА: применение конструкции с предыдущей лекции
  2. 12:15Примеры построения автоматов для языка Toki Pona
  3. 27:40Пример пересечения автоматов с однобуквенными переходами
  4. 45:29Пример детерминизации автомата
  5. 52:05Минимизация ПДКА, эквивалентные состояния
  6. 01:15:41Построение минимального ПДКА по разбиению на классы эквивалентных состояний
  7. 01:22:49Соответствие между отношением эквивалентности и разбиением на классы
  8. 01:35:35Леммы, обосновывающие корректность конструкции