Лекция 4. Теорема о детерминизации
- 00:16Полный детерминированный конечный автомат
- 08:43Алгоритм детерминизации автомата на примере
- 26:26Ещё один пример детерминизации автомата
- 36:45Теорема о детерминизации конечных автоматов: формулировка и конструкция
- 51:59Лемма о связи состояний построенного автомата и исходного
- 59:57Доказательство леммы
- 01:20:14Завершение доказательства теоремы