\n| Change Diaper<\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n Let’s fill in more of the obvious transitions:<\/p>\n \n\n\n\n\n\n\n\n<\/colgroup>\n\n\n| <\/td>\n | Quiet Alert<\/td>\n | Active Alert<\/td>\n | Crying<\/td>\n | Drowsiness<\/td>\n | Quiet Sleep<\/td>\n | Active Sleep<\/td>\n<\/tr>\n | \n| Hunger<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n<\/tr>\n | \n| Dirty Diaper<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n<\/tr>\n | \n| Lack of comfort<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n<\/tr>\n | \n| Time passes<\/td>\n | Active Alert<\/td>\n | Drowsiness<\/td>\n | Drowsiness<\/td>\n | if was asleep, Quiet Sleep; else Active Alert<\/td>\n | Drowsiness<\/td>\n | Quiet Sleep<\/td>\n<\/tr>\n | \n| Sudden light\/noise<\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n<\/tr>\n | \n| Physical Touch<\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n<\/tr>\n | \n| Feed<\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n<\/tr>\n | \n| Change Diaper<\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n For simplicity’s sake let’s assume that a baby will always immediately cry when an unhappy event occurs. This is a human being and we cannot expect a program to fully represent the nuances of even a newborn, so this is good enough for now. It is common to need to simplify things for the sake of understanding the program, in any case. It is valuable to simplify the unimportant details for the sake of the important ones.<\/p>\n Next let’s look at what happens as time passes:<\/p>\n \n\n\n\n\n\n\n\n<\/colgroup>\n\n\n| <\/td>\n | Quiet Alert<\/td>\n | Active Alert<\/td>\n | Crying<\/td>\n | Drowsiness<\/td>\n | Quiet Sleep<\/td>\n | Active Sleep<\/td>\n<\/tr>\n | \n| Hunger<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n<\/tr>\n | \n| Dirty Diaper<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n<\/tr>\n | \n| Lack of comfort<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n<\/tr>\n | \n| Time passes<\/td>\n | Active Alert<\/td>\n | Drowsiness<\/td>\n | Drowsiness<\/td>\n | if was asleep, Quiet Alert
\nelse Quiet Sleep<\/td>\n | Active Sleep<\/td>\n | Quiet Sleep<\/td>\n<\/tr>\n | \n| Sudden light\/noise<\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n<\/tr>\n | \n| Physical Touch<\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n<\/tr>\n | \n| Feed<\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n<\/tr>\n | \n| Change Diaper<\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n We are saying that a baby will start quiet, become quite active, and then tire herself out into drowsiness until falling asleep, again a simplification. The final simplification we have here is that a baby will get tired if she cries enough without any intervention (not recommended in real life). Note that we put our first conditional transition, when the baby is Drowsy. The baby can be drowsy waking up or falling asleep so we need to know in which “direction” the baby is going to make a decision. Too many conditional transitions can indicate that we need to refactor our States to be clearer. In this case we are fine for now.<\/p>\n Next, let’s cover what I would categorize as the “crying solving” triggers. Most parents are familiar with this checklist of things to check when a baby is crying:<\/p>\n \n\n\n\n\n\n\n\n<\/colgroup>\n\n\n| <\/td>\n | Quiet Alert<\/td>\n | Active Alert<\/td>\n | Crying<\/td>\n | Drowsiness<\/td>\n | Quiet Sleep<\/td>\n | Active Sleep<\/td>\n<\/tr>\n | \n| Hunger<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n<\/tr>\n | \n| Dirty Diaper<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n<\/tr>\n | \n| Lack of comfort<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n<\/tr>\n | \n| Time passes<\/td>\n | Active Alert<\/td>\n | Drowsiness<\/td>\n | Drowsiness<\/td>\n | if was asleep, Quiet Alert
\nelse Quiet Sleep<\/td>\n | Active Sleep<\/td>\n | Quiet Sleep<\/td>\n<\/tr>\n | \n| Sudden light\/noise<\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n | <\/td>\n<\/tr>\n | \n| Physical Touch<\/td>\n | Quiet Alert<\/td>\n | Active Alert<\/td>\n | if discomfort, Quiet Alert
\nelse Crying<\/td>\n | Drowsiness<\/td>\n | Quiet Sleep<\/td>\n | Active Sleep<\/td>\n<\/tr>\n | \n| Feed<\/td>\n | Quiet Alert<\/td>\n | Active Alert<\/td>\n | if hungry, Quiet Alert
\nelse Crying<\/td>\n | Drowsiness<\/td>\n | Drowsiness<\/td>\n | Drowsiness<\/td>\n<\/tr>\n | \n| Change Diaper<\/td>\n | Quiet Alert<\/td>\n | Active Alert<\/td>\n | if dirty diaper, Quiet Alert
\nelse Crying<\/td>\n | Drowsiness<\/td>\n | Drowsiness<\/td>\n | Drowsiness<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n We added more conditional transitions as the baby could be crying for different reasons. Note that physical touch does not normally wake the baby, but feeding and changing does. We may not have known this when we first took her home, but after being around her we now know how she will respond. This goes back to ensuring you gain the domain knowledge to answer these questions. If you don’t know up front, that is fine. The willingness and ability to find answers or to make assumptions and move on is one thing that separates efficiencers<\/a> from average software developers.<\/p>\nFinally let’s fill in that last trigger:<\/p>\n \n\n\n\n\n\n\n\n<\/colgroup>\n\n\n| <\/td>\n | Quiet Alert<\/td>\n | Active Alert<\/td>\n | Crying<\/td>\n | Drowsiness<\/td>\n | Quiet Sleep<\/td>\n | Active Sleep<\/td>\n<\/tr>\n | \n| Hunger<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n<\/tr>\n | \n| Dirty Diaper<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n<\/tr>\n | \n| Lack of comfort<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n | Crying<\/td>\n<\/tr>\n | \n| Time passes<\/td>\n | Active Alert<\/td>\n | Drowsiness<\/td>\n | Drowsiness<\/td>\n | if was asleep, Quiet Alert
\nelse Quiet Sleep<\/td>\n | Active Sleep<\/td>\n | Quiet Sleep<\/td>\n<\/tr>\n | \n| Sudden light\/noise<\/td>\n | Active Alert<\/td>\n | Active Alert<\/td>\n | Crying<\/td>\n | Active Alert<\/td>\n | Drowsiness<\/td>\n | Drowsiness<\/td>\n<\/tr>\n | \n| Physical Touch<\/td>\n | Quiet Alert<\/td>\n | Active Alert<\/td>\n | if discomfort, Quiet Alert
\nelse Crying<\/td>\n | Drowsiness<\/td>\n | Quiet Sleep<\/td>\n | Active Sleep<\/td>\n<\/tr>\n | \n| Feed<\/td>\n | Quiet Alert<\/td>\n | Active Alert<\/td>\n | if hungry, Quiet Alert
\nelse Crying<\/td>\n | Drowsiness<\/td>\n | Drowsiness<\/td>\n | Drowsiness<\/td>\n<\/tr>\n | \n| Change Diaper<\/td>\n | Quiet Alert<\/td>\n | Active Alert<\/td>\n | if dirty diaper, Quiet Alert
\nelse Crying<\/td>\n | Drowsiness<\/td>\n | Drowsiness<\/td>\n | Drowsiness<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n We can see from observing the baby for a while that any sudden noise or light will “jump start” the baby into an active alert state in most cases, unless she is crying or asleep.<\/p>\n This is a great format to transcribe to a computer, such as your automated test suite. However, it is not easy for humans to reason about or to onboard someone how a newborn baby works. In the next post<\/a> we will see the resulting diagram that we can use to help us and our coworkers reason about newborns.<\/p>\n","protected":false},"excerpt":{"rendered":"In the previous post\u00a0I introduced why modeling software as a Finite State Machine can be useful and used a newborn baby as an example. This post will fill in the transitions for the baby. I realize I missed two key triggers, hopefully this does not reflect on my real-life parenting ability. Feeding the baby and … Continue reading “A Newborn Baby as a Finite State Machine, Part 2”<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"nf_dc_page":"","_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[4],"tags":[],"class_list":["post-42","post","type-post","status-publish","format-standard","hentry","category-design"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/www.messiahcomputers.com\/dev-blog\/wp-json\/wp\/v2\/posts\/42","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.messiahcomputers.com\/dev-blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.messiahcomputers.com\/dev-blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.messiahcomputers.com\/dev-blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.messiahcomputers.com\/dev-blog\/wp-json\/wp\/v2\/comments?post=42"}],"version-history":[{"count":6,"href":"https:\/\/www.messiahcomputers.com\/dev-blog\/wp-json\/wp\/v2\/posts\/42\/revisions"}],"predecessor-version":[{"id":65,"href":"https:\/\/www.messiahcomputers.com\/dev-blog\/wp-json\/wp\/v2\/posts\/42\/revisions\/65"}],"wp:attachment":[{"href":"https:\/\/www.messiahcomputers.com\/dev-blog\/wp-json\/wp\/v2\/media?parent=42"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.messiahcomputers.com\/dev-blog\/wp-json\/wp\/v2\/categories?post=42"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.messiahcomputers.com\/dev-blog\/wp-json\/wp\/v2\/tags?post=42"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}} | | | | |