RU

Доказательство недоказуемого или о светофоре Ангера замолвите слово

Исполним обещанное в [1] , где упомянута задача о светофоре Ангера [2]. Она интересна формулировкой, которая заметно отличается от аналогичных задач, …

fsmавтоматное программированиеqtc++параллельное программирование
Habr
RU

Конечный автомат (FSM) – инструмент программиста

Тема конечных автоматов (КА) актуальна. Почти как тема реализации светофоров. Но вот, если серьезно, только отношение к ней разное. Время от времени п…

fsmавтоматное программированиеqtc++параллельное программирование
Habr
RU

Но почему, почему, почему был светофор зеленый?

Но почему, почему, почему Был светофор зеленый? А потому, потому, потому, Что был он в жизнь влюбленный. Читать далее

автоматное программированиеesp32параллельное программированиеvscodec++программирование микроконтроллеров
Habr
RU

Бониана: приложение к браслету

На сайте Engee в разделе «Библиотека конечных автоматов» в наглядной форме представлены КА [1] . Полюбопытствуйте. Вполне достаточно для первого знако…

параллельное программированиевизуальное программированиеавтоматное программирование
Habr
RU

Браслет для Бони

Возможно, на мой предвзятый взгляд, нынче автоматным программированием (АП) называют любое программирование, в которое вводят состояния (а параллельны…

параллельное программированиевизуальное программированиес++автоматное программированиеengee