Как доказать, что система конечна?

Требуется доказать, что система представляет собой конечный автомат, т.е. имеет существенно конечное количество состояний, приемлимое создания системы тестов, написанных вручную или сгенерированных автоматически. Здорово было бы описать систему, используя какую-либо математическую модель. С чего можно начать?

Скажите, что можно почитать по теме, и, если не затруднит, предложите свои варианты.

Рисуйте stete-flow graph, например.
А вообще вот тут можно почитать: http://www.geocities..._based_testing/

т.е. имеет существенно конечное количество состояний

приемлимое создания системы тестов

существенно конечное?.. приемлемое создание?.. Это как?

По сабжу - можно так и сказать заказчику: "конченая у нас система!.."

Требуется доказать, что система представляет собой конечный автомат, т.е. имеет существенно конечное количество состояний, приемлимое создания системы тестов, написанных вручную или сгенерированных автоматически. Здорово было бы описать систему, используя какую-либо математическую модель. С чего можно начать?

Скажите, что можно почитать по теме, и, если не затруднит, предложите свои варианты.

А.В. Гладкий "Формальные грамматики и языки". Есть глава о конечных автоматах. Коротко и доходчиво.

Требуется доказать, что система представляет собой конечный автомат, т.е. имеет существенно конечное количество состояний, приемлимое создания системы тестов, написанных вручную или сгенерированных автоматически. Здорово было бы описать систему, используя какую-либо математическую модель. С чего можно начать?

Скажите, что можно почитать по теме, и, если не затруднит, предложите свои варианты.

В реальном мире конечных систем нет. Есть конечные модели этих систем. И тут уже всё в руках того, кто строит модель -- можно сделать конечную или бесконечную, детерминированную или недетерминированную, сильно или слабо связную, и вообще -- какую хотите, такую и придумывайте. Задача доказательства ставится иначе -- как убедиться, что реальная система ведёт себя в соответствии с той моделью, которую мы придумали. Вот для этой цели как раз служат тесты (вручную или автоматически сгенерированные).

Про это есть совершенно зубодробительная, но реально очень крутая книжка про математическую формализацию понятия "тестирования на соответствие модели", написанная моими коллегами из ИСП РАН: "Теория соответствий для систем с блокировками и разрушением" http://panda.ispras..../TR-03-2006.pdf