A comic about nondeterministic automaton consulting the doctor



1. The automaton has two states: happy and tired. "Doctor, I have so
   undeterministic feeling. I am naturally happy, but when I am turned
   on in the morning, I don't know, if I am tired or happy."

2. "If I was happy, I stay happy, but if I was tired, turning off
   makes me thrustrated."

3. "Don't worry. Let's determinize you a little. You have eight
   possible states, but if you are in the morning happy, you can never
   be only tired or thrustrated or (tired or thrustrated) or (happy or 
   tired or thrustrated)."  In the upper automaton states: happy,
   (happy or tired), (happy or thrustrated), (happy, tired or
   thrustrated). In the other automaton states: tired, thrustrated,
   (tired or thrustrated).

4. "You can get thrustrated only if the user first turns you on and
   then turns you off, and does nothing afterwords."  In the automaton
   states: happy, (happy or tired), (happy or thrustrated).
   What we learnt: Never turn off a tired machine.