FlProg

Возможно, вам доводилось видеть, как выглядит программа управления логическим контроллером, например, станка. Две вертикальные линии, как шины питания, между ними горизонтальные «ступеньки», на ступеньках — контакты и катушки, как на схеме из учебника электрики пятидесятых годов. Это называется ladder logic, «лестничная, или релейная логика», и на ней до сих пор держится заметная часть мировой промышленности. Конвейеры, лифты, насосные станции и даже линии розлива пива. Так вот, каждая ступенька этой лесенки — выражение из алгебры, которую придумал человек, умерший почти за век до появления первых серийных компьютеров. Сын сапожника, ни дня не учившийся в университете. Профессор математики без школьного, по сути, образования:
https://habr.com/ru/companies/psb/articles/1081328/