Алексеев В. Б. - Дискретная математика - Эксперименты с автоматами
0:00:10 1. Теорема (любая схема функциональных элементов и задержек осуществляет автоматное отображение)
0:29:42 2. Обратная теорема
1:08:11 3. Эксперименты с автоматами. Теорема Мура