http://selftiming.ru/new/2019/10/23/stfsm-samosinhonnyj-konechnyj-avtomat-ot-primera-do-sinteza/