IFMO discrete mathematics lab work about minimization of finite state machine and so on.