3-fsm-synthesis.mp4