Describing state machines using math | Dark Hacker News