25. Элементы теории конечных автоматов.
Понятие конечного автомата широко применяется при конструировании электронно-вычислительных машин и в компьютерной науке. В контрольной работе необходимо изучить основные понятия теории конечных автоматов, проанализировать взаимосвязь таких автоматов с конечными полугруппами и доказать основные теоремы о декомпозиции автоматов. Рекомендуется следующий план работы:
1) Рассмотреть основные понятия теории конечных автоматов и теории полугрупп (/1/, с. 199-203; /2/, с. 447-453, 455-459, 477-480; /4/, с. 16-20).
2) Разобрать простейшие операции над автоматами и доказать их свойства (/1/, с. 203-206; /2/, с. 487-493; /4/, с. 66-68).
3) Проанализировать взаимосвязь конечных автоматов (без выходов) с
конечными полугруппами (/2/, с. 483-486).
4) Рассмотреть операцию каскадного соединения автоматов и доказать
теорему декомпозиции Крона-Роудза (/2/, с. 494-500; /4/, с. 68-70, 80-85).
Литература, рекомендуемая для изучения темы
- Темы контрольных работ по дискретная математика
- 1. Эйлеровы графы .
- 2. Гамильтоновы графы.
- 1 Уилсон р. Дж. Введение в теорию графов. – м.: 1977.
- 3. Связность графа.
- 4. Циклы в графах.
- 1 Уилсон р. Введение в теорию графов. – м.: Мир, 1977.
- 5. Плоские графы.
- 1 Уилсон р. Введение в теорию графов. – м.: Мир, 1977.
- 2 Белов в.В., Воробьев е.М., Шаталов в.Е. Теория графов. – м.: вш,
- 3 Березина л.Ю. Графы и их применения: Пособие для учителей. – м.,
- 6. Деревья.
- 1) Изучить такие основополагающие понятия теории графов, как граф, маршрут и цикл (/1/, с. 9-43; /2/, с. 5-22).
- 7. Свойства эйлеровых графов.
- 8. Свойства гамильтоновых графов.
- 1 Уилсон р. Введение в теорию графов. – м.: Мир, 1977.
- 2 Белов в.В., Воробьев е.М., Шаталов в.Е. Теория графов. – м.: вш,
- 3 Березина л.Ю. Графы и их применения: Пособие для учителей. – м.,
- 9. Ориентированные графы.
- 1 Уилсон р. Введение в теорию графов. – м.: Мир, 1977.
- 2 Белов в.В., Воробьев е.М., Шаталов в.Е. Теория графов. – м.: вш,
- 3 Березина л.Ю. Графы и их применения: Пособие для учителей. – м.,
- 10. Паросочетания.
- 1 Уилсон р. Введение в теорию графов. – м.: Мир, 1977.
- 2 Белов в.В., Воробьев е.М., Шаталов в.Е. Теория графов. – м.: вш,
- 4 Березина л.Ю. Графы и их применения: Пособие для учителей. – м.,
- 11. Теория трансверсалей.
- 1 Уилсон р. Введение в теорию графов. – м.: Мир, 1977.
- 2 Белов в.В., Воробьев е.М., Шаталов в.Е. Теория графов. – м.: вш,
- 4 Березина л.Ю. Графы и их применения: Пособие для учителей. – м.,
- 12. Потоки в сетях.
- 1 Уилсон р. Введение в теорию графов. – м.: Мир, 1977.
- 2 Белов в.В., Воробьев е.М., Шаталов в.Е. Теория графов. – м.: вш,
- 4 Березина л.Ю. Графы и их применения: Пособие для учителей. – м.,
- 13. Производящие функции в теории графов.
- 14. Теорема Пойа и перечисление графов.
- 1 Уилсон р. Введение в теорию графов. – м.: Мир, 1977.
- 2 Белов в.В., Воробьев е.М., Шаталов в.Е. Теория графов. – м.: вш,
- 14. Графы на двумерных поверхностях.
- 1 Уилсон р. Введение в теорию графов. – м.: Мир, 1977.
- 2 Белов в.В., Воробьев е.М., Шаталов в.Е. Теория графов. – м.: вш,
- 3 Березина л.Ю. Графы и их применения: Пособие для учителей. – м.,
- 15. Конечные группы и их графы.
- 2 Оре о. Теория графов. – м.: Наука, 1968.
- 16. Теорема Рамсея и ее приложения.
- 2 Оре о. Теория графов. – м.: Наука, 1968.
- 17. Полугруппы преобразований.
- 18. Копредставления полугрупп.
- 19. Логика на словах.
- 20. Алгебры отношений и полугруппы преобразований.
- 21. Рациональные языки.
- Тема 71. Соответствие Эйленберга
- 22. Отношения Грина.
- 23. Декомпозиция конечных моноидов.
- 24. Рациональные и алгебраические языки над полукольцами.
- 25. Элементы теории конечных автоматов.
- 1 Белов в.В., Воробьев е.М., Шаталов в.Е. Теория графов. – м.: вш,
- 26. Минимизация чистых автоматов.
- 27. Конструкции чистых автоматов.
- 28. Цифровое шифрование.
- 29. Последовательности над конечным полем.
- 30. Решетки.