Describing state machines using math | Hacker News Reader