Лекция 14. Алгоритм Бжозовского
- 00:16Описание алгоритма Бжозовского
- 08:42Алгоритм Бжозовского на примере
- 35:14Доказательство корректности алгоритма Бжозовского
- 48:15Лемма о связи двух построенных автоматов
- 01:05:26Завершение доказательства корректности алгоритма: доказательство минимальности построенного автомата