Конечные автоматы Модель системы регулирования температуры воздуха Формирование отказа по напряжению Моделирование управляющей логики светофора