На каком это языке написано? Haskell? Эта штука делает переход между двумя состояниями Off - On по событию Take On?
В универе писал как-то транслятор для простенького Паскале подобного языка в С++ в виде конечного автомата, получалось забавно.