Автоматное программирование (Теория графов)

Эта группа является сборищем программистов, которым нравится стиль автоматного программирования (само_сабой разумеется автоматы Мура и Мили), а также нравится решать задачи, связанные с теорией графов - транспортная задача, нахождения эйлеровых, гамильтоновых циклов и т.п. разными известными алгоритмами, включая свои) Пара слов об этом виде программирования: Автоматное программирование — стиль программирования, основанный на применении конечных автоматов для описания поведения программ. В автоматном программировании конечные автоматы используются для описания поведения программ при их спецификации, проектировании, реализации, отладке, документировании и сопровождении. Существуют различные модели для описания конечных автоматов. Однако их представление в виде графов переходов (диаграмм состояний) наиболее удобно для человека. Для поддержки автоматного программирования разработана Switch-технология (в случае паскаля - Case). Вообщем под термином «автоматное программирование» понимается не только построение и реализация конечных автоматов, но и проектирование и реализация программ в целом, поведение которых описывается автоматами. Сайты, на которых можно почитать об автоматном программировании и теории графов: ================================= http://is.ifmo.ru/ - очеень много чего интересного относительно автоматов и не только http://www.sdteam.com/?tid=200 - описание построения автомата с примером. Очень наглядно, поэтому желательно почитать. http://virpfs.narod.ru/automat.pdf - Пример построения конечного автомата от Virpool'a. http://virpfs.narod.ru/grafs.pdf - Неплохая книга относительно теории графов. Описано все довольно подробно и наглядно. Затронуто пару алгоритмов по решению транспортной задачи и т.п. http://www.msclub.ce.cctpu.edu.ru/bibl/ODM/Ll1.html - здесь можно вкратце пройтись по основным понятиям теории графов