Курс «Конечные автоматы»
Описание
Курс «Конечные автоматы» предназначен для изучения возможностей библиотеки «Конечные автоматы» платформы Engee. Конечный автомат – это модель системы, управляемой событиями, которая переходит из одного режима работы в другой при выполнении определенных условий. Конечные автоматы позволяют строить модели двух типов: диаграммы состояний и потоковые диаграммы.
Каждый раздел содержит теоретическую часть, практические примеры и задания для самостоятельного выполнения.
Требования к уровню знаний: прохождение курсов Курс «Добро пожаловать в Engee» и Курс «Визуальное моделирование».
Общее время прохождения курса: ~3 часа.
Программа курса
Введение в конечные автоматы.
На примере модели светофора дается начальное представление о принципах работы с конечными автоматами в Engee.
Диаграммы состояний.
Изучаются построение диаграмм состояний, редактор диаграмм состояний, временная логика и переходы по умолчанию.
Переменные и данные на диаграммах состояний.
Изучаются входные и выходные сигналы и локальные переменные на диаграммах состояний.
Действия на диаграммах состояний.
Изучаются действия с состояниями entry, during и exit, а также действия с условиями.
Выполнение диаграмм состояний.
На примере подробно рассматривается пошаговое выполнение диаграммы состояний: как работают условия, действия и переходы между состояниями.
Проект: Робот-пылесос.
Учащимся предлагается построить с помощью диаграммы состояний модель работы робота-пылесоса, который может находиться в одном из четырех состояний: выключен, уборка, парковка и зарядка.
Потоковые диаграммы.
Изучаются основы построения потоковых диаграмм. В качестве практического задания предлагается построить модель итератора, который возвращается к единице, когда индекс достигает максимального значения.
Иерархия диаграмм.
Изучается построение иерархических диаграмм состояний. В качестве практического задания предлагается построить иерархическую диаграмму состояний, описывающую работу светофора.