Конечные автоматы

Курс Конечные автоматы предназначен для изучения возможностей библиотеки Конечные автоматы платформы Engee. Конечный автомат – это модель системы, управляемой событиями, которая переходит из одного режима работы в другой при выполнении определенных условий. Конечные автоматы позволяют строить модели двух типов: диаграммы состояний и потоковые диаграммы.

Каждый раздел содержит теоретическую часть, практические примеры и задания для самостоятельного выполнения.

Требования к уровню знаний: прохождение курсов Добро пожаловать в Engee и Визуальное моделирование 

Общее время прохождения курса: ~ 3 часа.

Программа курса

• Введение в конечные автоматы

На примере модели светофора дается начальное представление о принципах работы с конечными автоматами в Engee. 

• Диаграммы состояний

Изучаются построение диаграмм состояний, редактор диаграмм состояний, временная логика и переходы по умолчанию.

• Переменные и данные на диаграммах состояний

Изучаются входные и выходные сигналы и локальные переменные на диаграммах состояний.

• Действия на диаграммах состояний

Изучаются действия с состояниями entry, during и exit, а также действия с условиями.

• Выполнение диаграмм состояний

На примере подробно рассматривается пошаговое выполнение диаграммы состояний: как работают условия, действия и переходы между состояниями.

• Проект: Робот-пылесос

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

• Потоковые диаграммы

Изучаются основы построения потоковых диаграмм. В качестве практического задания предлагается построить модель итератора, который возвращается к единице, когда индекс достигает максимального значения.

• Иерархия диаграмм

Изучается построение иерархических диаграмм состояний. В качестве практического задания предлагается построить иерархическую диаграмму состояний, описывающую работу светофора.