Теория вычислений Введение в конечные автоматы Хабр

В графическом языке SFC программа описывается в виде схематической последовательности [...]