Моделирование конечных автоматов: структура и примеры