⚡ КОНФИГУРАЦИЯ АВТОМАТА КОРАБЛЯ
M = (Q, Σ, δ, q₀, F) — цифровая машина аварийного переключения
📋 ЛЕГЕНДА ПЕРЕМЕННЫХ:
Q — множество состояний: {q0, q1, q2, q3}
Σ — алфавит событий/сигналов: {v1, v2}
δ — функция переходов (таблица δ)
q₀ — начальное состояние: q0
F — допускающее состояние: {q0, q2}
📊 ТАБЛИЦА ФУНКЦИИ ПЕРЕХОДОВ δ(Состояние, Сигнал) → Новое состояние:
| δ / Состояния (Q) | v1 ∈ Σ | v2 ∈ Σ |
|---|
📊 РЕЗУЛЬТАТЫ ДИАГНОСТИКИ
🔗 ДИАГРАММА ПЕРЕХОДОВ СОСТОЯНИЙ
● Начальное (q0) | ◯◯ Допускающее (q2) | ⟶ Переход по событию