• Save
Fina lnotoriousfa1ver3
Upcoming SlideShare
Loading in...5
×

Like this? Share it with your network

Share

Fina lnotoriousfa1ver3

  • 111 views
Uploaded on

JNTU QUALITATIVE VISUAL ALGORITHMS

JNTU QUALITATIVE VISUAL ALGORITHMS

  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
    Be the first to like this
No Downloads

Views

Total Views
111
On Slideshare
109
From Embeds
2
Number of Embeds
1

Actions

Shares
Downloads
0
Comments
0
Likes
0

Embeds 2

http://gateguru.org 2

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

  • 1. PROBLEM 1• DETERMINE THE MINIMAL DETERMINISTIC FINITE AUTOMATA ACCEPTING THE SET OF ALL STRINGS OVER {sun,rain}* WHERE THE FIRST SYMBOL FROM THE RIGHT END IS A rain.
  • 2. What strings are accepted?BEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING
  • 3. What strings are accepted? FIRST SYMBOL FROM RIGHT ENDBEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING
  • 4. What strings are accepted? REST OF THE STRING FIRST SYMBOL FROM RIGHT ENDBEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING
  • 5. What strings are accepted? REST OF THE STRING FIRST SYMBOL FROM RIGHT END ANYTHING HERE IN THE FRONT rainBEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING
  • 6. What strings are accepted? REST OF THE STRING FIRST SYMBOL FROM RIGHT ENDBEGINNING OF STRING THIS IS THE INPUT STRING rain END OF STRING
  • 7. What strings are accepted? REST OF THE STRING FIRST SYMBOL FROM RIGHT END ANYTHING HERE IN THE FRONT= (sun + rain)*BEGINNING OF STRING rain END OF STRING THIS IS THE INPUT STRING
  • 8. What strings are accepted? REST OF THE STRING FIRST SYMBOL FROM RIGHT END ANYTHING HERE IN THE FRONT= (sun + rain)*BEGINNING OF STRING rain THIS IS THE INPUT STRING END OF STRING (sun + rain)*rain
  • 9. Construct the finite automata. REST OF THE STRING FIRST SYMBOL FROM RIGHT END rain ANYTHING HERE IN THE FRONT= (sun + rain)* Construct the finite automata.BEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING Hansel (sun + rain)*rain
  • 10. Construct the finite automata. REST OF THE STRING FIRST SYMBOL FROM RIGHT END rain ANYTHING HERE IN THE FRONT= (sun + rain)*BEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING Hansel (sun + rain)*rain
  • 11. Construct the finite automata. REST OF THE STRING FIRST SYMBOL FROM RIGHT END rain ANYTHING HERE IN THE FRONT= (sun + rain)*BEGINNING OF STRING END OF STRING sun,rain THIS IS THE INPUT STRING Hansel (sun + rain)*rain
  • 12. Construct the finite automata. REST OF THE STRING FIRST SYMBOL FROM RIGHT END rain ANYTHING HERE IN THE FRONT= (sun + rain)*BEGINNING OF STRING END OF STRING sun,rain THIS IS THE INPUT STRING Grethel Hansel (sun + rain)*rain
  • 13. Construct the finite automata. REST OF THE STRING FIRST SYMBOL FROM RIGHT END rain ANYTHING HERE IN THE FRONT= (sun + rain)*BEGINNING OF STRING END OF STRING sun,rain THIS IS THE INPUT STRING Grethel Grethel Hansel (sun + rain)*rain
  • 14. Construct the finite automata. REST OF THE STRING FIRST SYMBOL FROM RIGHT END rain ANYTHING HERE IN THE FRONT= (sun + rain)*BEGINNING OF STRING END OF STRING sun,rain THIS IS THE INPUT STRING rain Grethel Grethel Hansel (sun + rain)*rain
  • 15. Construct the finite automata. REST OF THE STRING FIRST SYMBOL FROM RIGHT END rain ANYTHING HERE IN THE FRONT= (sun + rain)*BEGINNING OF STRING END OF STRING sun,rain THIS IS THE INPUT STRINGSTART rain Grethel Grethel Hansel (sun + rain)*rain
  • 16. Construct the finite automata. • IF THE FINITE AUTOMATA DETERMINISTIC OR IS IT NONDETERMINISTIC? sun,rainSTART rain Grethel Grethel Hansel (sun + rain)*rain
  • 17. Construct the finite automata. • IF THE FINITE ATOMATA DETERMINISTIC OR IS IT NONDETERMINISTIC? • TO FIND OUT CONSTRUCT THE STATE TRANSITION TABLE. sun,rainSTART rain Grethel Hansel Grethel (sun + rain)*rain
  • 18. Construct the finite automata. THE STATE TRANSITION TABLE sun,rainSTART rain Grethel Grethel Hansel (sun + rain)*rain
  • 19. Construct the STATE TRANSITION TABLE of thefinite automata. STATES THE STATE TRANSITION Hansel TABLE Grethel sun,rainSTART rain Grethel Grethel Hansel (sun + rain)*rain
  • 20. The state transition table of the finite automata. INPUTS sun rain THE STATE STATES TRANSITION Hansel TABLE Grethel sun,rainSTART rain Grethel Hansel Grethel (sun + rain)*rain
  • 21. STATE TRANSITION TABLE INPUTS sun rain THE STATE STATES TRANSITION Hansel Hansel TABLE Grethel sun,rainSTART rain Hansel Grethel Grethel (sun + rain)*rain
  • 22. STATE TRANSITION TABLE INPUTS sun rain STATES THE STATE Hansel Hansel Hansel,Grethel TRANSITION TABLE Grethel sun,rainSTART rain Grethel Hansel Grethel (sun + rain)*rain
  • 23. STATE TRANSITION TABLE INPUTS sun rain STATES THE STATE TRANSITION TABLE Hansel Hansel Hansel,Grethel Grethel φ Φ Φ Φ Φ sun,rainSTART rain Grethel Grethel Hansel (sun + rain)*rain
  • 24. THE MACHINE IS NONDETERMINISTIC INPUTS sun rain STATES THE STATE TRANSITION Hansel Hansel Hansel,Grethel TABLE Grethel φ Φ Φ Φ Φ sun,rainSTART rain Grethel Grethel Hansel (sun + rain)*rain
  • 25. CONSTRUCT THE DETERMINISTIC MACHINE INPUTS sun rain STATES Hansel Hansel Hansel,Grethel Grethel φ Φ Φ Φ Φ sun,rain NFASTART rain Grethel Grethel Hansel (sun + rain)*rain
  • 26. CONSTRUCT THE DETERMINISTIC MACHINE INPUTS sun rain STATES Hansel Hansel Hansel,Grethel Grethel φ Φ Φ Φ Φ sun,rain NFA THE DFA rain Grethel Hansel GrethelSTART (sun + rain)*rain
  • 27. CONSTRUCT THE DETERMINISTIC MACHINE INPUTS sun rain INPUTS sun rain STATES STATES Hansel Hansel Hansel,Grethel Grethel φ Φ Φ Φ Φ sun,rain NFA THE DFA rain Grethel GrethelSTART Hansel (sun + rain)*rain
  • 28. CONSTRUCT THE DETERMINISTIC MACHINE INPUTS sun rain INPUTS sun rain STATES STATES Hansel Hansel Hansel,Grethel Hansel Grethel φ Φ Φ Φ Φ sun,rain NFA THE DFA rainSTART Hansel Grethel L=(sun + rain)*rain
  • 29. CONSTRUCT THE DETERMINISTIC MACHINE INPUTS sun rain INPUTS sun rain STATES STATES Hansel Hansel Hansel,Grethel Hansel Hansel Grethel φ Φ Φ Φ Φ sun,rain NFA THE DFA rainSTART Grethel Grethel Hansel (sun + rain)*rain
  • 30. CONSTRUCT THE DETERMINISTIC MACHINE INPUTS sun rain INPUTS sun rain STATES STATES Hansel Hansel Hansel,Grethel Hansel Hansel HanselGrethel Grethel φ Φ Φ Φ Φ sun,rain NFA THE DFASTART rain Grethel Hansel Grethel (sun + rain)*rain
  • 31. CONSTRUCT THE DETERMINISTIC INPUTS MACHINE sun rain INPUTS sun rain STATES STATES Hansel Hansel Hansel,Grethel Hansel Hansel HanselGrethel Grethel φ Φ HanselGrethel Hansel HanselGrethel Φ Φ Φ sun,rain NFA THE DFA rainSTART Hansel Grethel Grethel (sun + rain)*rain
  • 32. CONSTRUCT THE DETERMINISTIC MACHINE INPUTS sun rain INPUTS sun rain STATES STATES Hansel Hansel Hansel,Grethel Hansel Hansel HanselGrethel Grethel φ Φ HanselGrethel Hansel HanselGrethel Φ Φ Φ sun,rain NFA THE DFA rainSTART Grethel Grethel Hansel (sun + rain)*rain
  • 33. THE DFA HAS 2 STATES=2^1 STATES INPUTS sun rain INPUTS sun rain STATES STATES Hansel Hansel Hansel,Grethel Hansel Hansel HanselGrethel Grethel φ Φ HanselGrethel Hansel HanselGrethel Φ Φ Φ sun,rain NFA THE DFASTART rain Grethel Grethel Hansel (sun + rain)*rain
  • 34. MINIMISE THE DFAINPUTS sun rainSTATESHansel Hansel HanselGrethelHanselGrethel Hansel HanselGrethel
  • 35. MINIMISE THE DFA CONSTRUCT THE TRANSITIONINPUTS DIAGRAM sun rainSTATESHansel Hansel HanselGrethelHanselGrethel Hansel HanselGrethel Hansel HanselGrethel
  • 36. MINIMISE THE DFA CONSTRUCT THE TRANSITIONINPUTS DIAGRAM sun rainSTATESHansel Hansel HanselGrethelHanselGrethel Hansel HanselGrethel Hansel HanselGrethel
  • 37. MINIMISE THE DFA CONSTRUCT THE TRANSITIONINPUTS DIAGRAM sun rainSTATESHansel Hansel HanselGrethelHanselGrethel Hansel HanselGrethel Hansel HanselGrethel
  • 38. MINIMISE THE DFA CONSTRUCT THE TRANSITIONINPUTS DIAGRAM sun rainSTATESHansel Hansel HanselGrethelHanselGrethel Hansel HanselGrethel sun Hansel HanselGrethel
  • 39. MINIMISE THE DFA CONSTRUCT THE TRANSITIONINPUTS DIAGRAM sun rainSTATESHansel Hansel HanselGrethelHanselGrethel Hansel HanselGrethel sun rain Hansel HanselGrethel
  • 40. MINIMISE THE DFA CONSTRUCT THE TRANSITIONINPUTS DIAGRAM sun rainSTATESHansel Hansel HanselGrethelHanselGrethel Hansel HanselGrethel sun rain rain Hansel HanselGrethel
  • 41. MINIMISING THE DFA BY GRAPH COLORINGINPUTS sun rainSTATESHansel Hansel HanselGrethelHanselGrethel Hansel HanselGrethel sun rain rain Hansel HanselGrethel sun
  • 42. MINIMISING THE DFA BY GRAPH COLORINGINPUTS sun rain CREATE TWO PARTITIONS ONE FOR FINAL AND ONE FORSTATES NONFINALHansel Hansel HanselGrethel SO COLOR Hansel BLUE COLOR HanselGrethel PINKHanselGrethel Hansel HanselGrethel sun rain rain Hansel HanselGrethel sun
  • 43. MINIMISING THE DFA BY GRAPH COLORINGINPUTS sun rain CREATE TWO PARTITIONS ONE FOR FINAL AND ONE FORSTATES NONFINALHansel Hansel HanselGrethel SO COLOR Hansel BLUE COLOR HanselGrethel PINK NOW PINK AND BLUE AREHanselGrethel Hansel HanselGrethel SINGLETONS SO MINIMAL DFA HAS TWO STATES sun rain rain Hansel HanselGrethel sun
  • 44. PROBLEM 2• DETERMINE THE MINIMAL DETERMINISTIC FINITE AUTOMATA ACCEPTING THE SET OF ALL STRINGS OVER {sun,rain}* WHERE THE SECOND SYMBOL FROM THE RIGHT END IS A rain.
  • 45. What strings are accepted?BEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING
  • 46. What strings are accepted? FIRST SYMBOL FROM RIGHT ENDBEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING
  • 47. What strings are accepted? REST OF THE STRING FIRST SYMBOL FROM RIGHT ENDBEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING
  • 48. What strings are accepted? REST OF THE SECOND FIRST STRING SYMBOL SYMBOL FROM FROM RIGHT RIGHT END ENDBEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING
  • 49. What strings are accepted? REST OF THE SECOND FIRST STRING SYMBOL SYMBOL FROM FROM RIGHT RIGHT END END •BEGINNING OF STRING rain END OF STRING THIS IS THE INPUT STRING •
  • 50. What strings are accepted? REST OF THE SECOND FIRST STRING SYMBOL SYMBOL FROM FROM RIGHT RIGHT END END •BEGINNING OF STRING rain END OF STRING THIS IS THE INPUT STRING • anything
  • 51. What strings are accepted? REST OF THE SECOND FIRST STRING SYMBOL SYMBOL FROM FROM RIGHT RIGHT END END •BEGINNING OF STRING rain END OF STRING THIS IS THE INPUT STRING • anything anything
  • 52. What strings are accepted? REST OF THE SECOND FIRST STRING SYMBOL SYMBOL FROM FROM RIGHT RIGHT END END •BEGINNING OF STRING rain END OF STRING THIS IS THE INPUT STRING • (sun+rain)* • sun+rain
  • 53. What strings are accepted? REST OF THE SECOND FIRST STRING SYMBOL SYMBOL FROM FROM RIGHT RIGHT END END •BEGINNING OF STRING • rain END OF STRING THIS IS THE INPUT STRING • (sun+rain)* • sun+rain • INITIAL PART MIDDLE LAST • PART PART
  • 54. Strings accepted=(sun+rain)*rain(sun+rain) REST OF THE SECOND FIRST STRING SYMBOL SYMBOL FROM FROM RIGHT RIGHT END END •BEGINNING OF STRING • rain END OF STRING THIS IS THE INPUT STRING • (sun+rain)* • sun+rain • INITIAL PART MIDDLE LAST • PART PART
  • 55. CONSTRUCT THE NFA REST OF THE SECOND FIRST STRING SYMBOL SYMBOL FROM FROM RIGHT RIGHT END END •BEGINNING OF STRING • rain END OF STRING THIS IS THE INPUT STRING • (sun+rain)* • sun+rain • INITIAL PART MIDDLE LAST • PART PART
  • 56. CONSTRUCT THE NFA REST OF THE SECOND FIRST STRING SYMBOL SYMBOL FROM FROM RIGHT RIGHT END END •BEGINNING OF STRING END OF STRING • rain THIS IS THE INPUT STRING • (sun+rain)* sun,rain • • Witch
  • 57. CONSTRUCT THE NFA REST OF THE SECOND FIRST STRING SYMBOL SYMBOL FROM FROM RIGHT RIGHT END END •BEGINNING OF STRING END OF STRING • THIS IS THE INPUT STRING rain • anything=(sun+rain)* sun,rain • rain Jack Witch Jill
  • 58. CONSTRUCT THE NFA REST OF THE SECOND FIRST STRING SYMBOL SYMBOL FROM FROM RIGHT RIGHT END END •BEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING • rain sun,rain • (sun+rain)* • sun, rain rain • Witch Jack Jill •
  • 59. CONSTRUCT THE NFA REST OF THE SECOND FIRST STRING SYMBOL SYMBOL FROM FROM RIGHT RIGHT END END END OF STRING •BEGINNING OF STRING THIS IS THE INPUT STRING • sun, rain Jack rain Witch Jill
  • 60. CONSTRUCT THE NFA REST OF THE SECOND FIRST STRING SYMBOL SYMBOL FROM FROM RIGHT RIGHT END END •BEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING sun,rain rain sun, rain Jack START Witch Jill
  • 61. CONSTRUCT THE NFA REST OF THE SECOND FIRST STRING SYMBOL SYMBOL FROM FROM RIGHT RIGHT END END •BEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING sun,rain sun, rain rain Jack START Witch Jill Jill
  • 62. CONSTRUCT THE STATE TRANSITION TABLE • NFA sun,rain sun, rain rain JackSTART Witch Jill Jill
  • 63. CONSTRUCT THE STATE TRANSITION TABLE STATES • NFA sun,rain sun, rain Jack rainSTART Witch Jill Jill
  • 64. CONSTRUCT THE STATE TRANSITION TABLE INPUTS-  STATES • NFA sun,rain sun, rain rain JackSTART Witch Jill Jill
  • 65. CONSTRUCT THE STATE TRANSITION TABLE INPUTS- STATES Witch Jack Jill Φ • NFA sun,rain rain sun,rain JackSTART Witch Jill Jill
  • 66. CONSTRUCT THE STATE TRANSITION TABLE INPUTS- sun rain STATES Witch Jack Jill Φ • sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 67. CONSTRUCT THE STATE TRANSITION TABLE INPUTS- sun rain STATES Witch Witch Jack Jill Φ • sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 68. CONSTRUCT THE STATE TRANSITION TABLE INPUTS- sun rain STATES Witch Witch WitchJack Jack Jill Jill Jill Φ Φ Φ Φ Φ • sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 69. CONSTRUCT THE STATE TRANSITION TABLE INPUTS- sun rain STATES Witch Witch WitchJack Jack Jill Jill Jill Φ Φ Φ Φ Φ • sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 70. CONSTRUCT THE STATE TRANSITION TABLE-WE HAVE AN NFA INPUTS- sun rain STATES Witch Witch WitchJack Jack Jill Jill Jill Φ Φ Φ Φ Φ • sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 71. CONSTRUCT THE STATE TRANSITION TABLE-WE HAVE AN NFA INPUTS- sun rain STATES Witch Witch WitchJack Jack Jill Jill Jill Φ Φ Φ Φ Φ • sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 72. CONSTRUCT THE STATE TRANSITION TABLE-OBTAIN THE DFA INPUTS- sun rain STATES Witch Witch WitchJack Jack Jill Jill Jill Φ Φ Φ Φ Φ • THE DFA sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 73. CONSTRUCT THE STATE TRANSITION TABLE-OBTAIN THE DFA INPUTS- sun rain STATESSTATES Witch Witch WitchJack Jack Jill Jill Jill Φ Φ Φ Φ Φ • THE DFA sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 74. CONSTRUCT THE STATE TRANSITION TABLE-OBTAIN THE DFAINPUTS INPUTS- sun rain STATESSTATES Witch Witch WitchJack Jack Jill Jill Jill Φ Φ Φ Φ Φ • THE DFA NFA sun,r sun,rain ain rain JackSTART Witch Jill Jill
  • 75. CONSTRUCT THE STATE TRANSITION TABLE-OBTAIN THE DFAINPUTS INPUTS- sun rain sun rain STATESSTATES Witch Witch WitchJack Jack Jill Jill Jill Φ Φ Φ Φ Φ • THE DFA sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 76. CONSTRUCT THE STATE TRANSITION TABLE-OBTAIN THE DFAINPUTS INPUTS- sun rain sun rain STATESSTATES Witch Witch WitchJackWitch Jack Jill Jill Jill Φ Φ Φ Φ Φ • THE DFA sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 77. CONSTRUCT THE STATE TRANSITION TABLE-OBTAIN THE DFAINPUTS INPUTS- sun rain sun rain STATESSTATES Witch Witch WitchJackWitch Witch Jack Jill Jill Jill Φ Φ Φ Φ Φ • THE DFA sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 78. CONSTRUCT THE STATE TRANSITION TABLE-OBTAIN THE DFAINPUTS INPUTS- sun rain sun rain STATESSTATES Witch Witch WitchJackWitch Witch WitchJack Jack Jill Jill Jill Φ Φ Φ Φ Φ • THE DFA sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 79. CONSTRUCT THE STATE TRANSITION TABLE-OBTAIN THE DFAINPUTS INPUTS- sun rain sun rain STATESSTATES Witch Witch WitchJackWitch Witch WitchJack Jack Jill JillWitchJack WitchJill Jill Φ Φ Φ Φ Φ • THE DFA sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 80. CONSTRUCT THE STATE TRANSITION TABLE-OBTAIN THE DFAINPUTS sun rain INPUTS- sun rain STATESSTATES Witch Witch WitchJackWitch Witch WitchJack Jack Jill JillWitchJack WitchJill WitchJackJill Jill Φ Φ Φ Φ Φ • THE DFA sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 81. CONSTRUCT THE STATE TRANSITION TABLE-OBTAIN THE DFAINPUTS sun rain INPUTS- sun rain STATESSTATES Witch Witch WitchJackWitch Witch WitchJack Jack Jill JillWitchJack WitchJill WitchJackJill Jill Φ ΦWitchJill Witch Φ Φ Φ • THE DFA sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 82. CONSTRUCT THE STATE TRANSITION TABLE-OBTAIN THE DFAINPUTS sun rain INPUTS- sun rain STATESSTATES Witch Witch WitchJackWitch Witch WitchJack Jack Jill JillWitchJack WitchJill WitchJackJill Jill Φ ΦWitchJill Witch WitchJack Φ Φ Φ • THE DFA sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 83. CONSTRUCT THE STATE TRANSITION TABLE-OBTAIN THE DFAINPUTS sun rain INPUTS- sun rain STATESSTATES Witch Witch WitchJackWitch Witch WitchJack Jack Jill JillWitchJack WitchJill WitchJackJill Jill Φ ΦWitchJill Witch WitchJack Φ Φ ΦWitchJackJill WitchJill • THE DFA sun,rain NFA rain sun,rain JackSTART Witch JillJill
  • 84. CONSTRUCT THE STATE TRANSITION TABLE-OBTAIN THE DFAINPUTS sun rain INPUTS- sun rain STATESSTATES Witch Witch WitchJackWitch Witch WitchJack Jack Jill JillWitchJack WitchJill WitchJackJill Jill Φ ΦWitchJill Witch WitchJack Φ Φ ΦWitchJackJill WitchJill WitchJackJill • THE DFA sun,rain NFA rain sun,rain JackSTART Witch Jill Jill
  • 85. CONSTRUCT THE STATE TRANSITION TABLE-MARK THE FINAL STATESINPUTS sun rain INPUTS- sun rain STATESSTATES Witch Witch WitchJackWitch Witch WitchJack Jack Jill JillWitchJack WitchJill WitchJackJill Jill Φ ΦWitchJill Witch WitchJack Φ Φ ΦWitchJackJill WitchJill WitchJackJill • THE DFA sun,rain NFA rain sun,rain JackSTART Witch JillJill
  • 86. MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATESWitch Witch WitchJackWitchJack WitchJill WitchJackJillWitchJill Witch WitchJackWitchJackJill WitchJill WitchJackJill
  • 87. MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATESWitch Witch WitchJackWitchJack WitchJill WitchJackJillWitchJill Witch WitchJackWitchJackJill WitchJill WitchJackJill CONSTRUCT THE STATE TRANSITION DIAGRAM
  • 88. MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Witch WitchJillWitch Witch WitchJackWitchJack WitchJill WitchJackJillWitchJill Witch WitchJackWitchJackJill WitchJill WitchJackJill WitchJack WitchJackJill CONSTRUCT THE STATE TRANSITION DIAGRAM
  • 89. MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Witch WitchJillWitch Witch WitchJackWitchJack WitchJill WitchJackJillWitchJill Witch WitchJackWitchJackJill WitchJill WitchJackJill WitchJack WitchJackJill CONSTRUCT THE STATE TRANSITION DIAGRAM MARK THE FINAL STATES
  • 90. MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Witch WitchJillWitch Witch WitchJackWitchJack WitchJill WitchJackJillWitchJill Witch WitchJackWitchJackJill WitchJill WitchJackJill WitchJack WitchJackJill CONSTRUCT THE STATE TRANSITION DIAGRAM MARK THE FINAL STATES MARK THE START STATE
  • 91. MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHM sunINPUTS sun rainSTATES Witch WitchJillWitch Witch WitchJackWitchJack WitchJill WitchJackJillWitchJill Witch WitchJackWitchJackJill WitchJill WitchJackJill WitchJack WitchJackJill PUT IN THE TRANSITIONS
  • 92. MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHM sunINPUTS sun rainSTATES Witch WitchJillWitch Witch WitchJackWitchJack WitchJill WitchJackJillWitchJill Witch WitchJack rainWitchJackJill WitchJill WitchJackJill WitchJack WitchJackJill PUT IN THE TRANSITIONS
  • 93. MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHM sunINPUTS sun rainSTATES Witch WitchJillWitch Witch WitchJack sunWitchJack WitchJill WitchJackJillWitchJill Witch WitchJack rainWitchJackJill WitchJill WitchJackJill WitchJack WitchJackJill PUT IN THE TRANSITIONS
  • 94. MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHM sunINPUTS sun rainSTATES Witch WitchJillWitch Witch WitchJack sunWitchJack WitchJill WitchJackJillWitchJill Witch WitchJack rainWitchJackJill WitchJill WitchJackJill rain WitchJack WitchJackJill PUT IN THE TRANSITIONS
  • 95. MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHM sunINPUTS sun rain sunSTATES Witch WitchJillWitch Witch WitchJack sunWitchJack WitchJill WitchJackJillWitchJill Witch WitchJack rainWitchJackJill WitchJill WitchJackJill rain rain WitchJack WitchJackJill PUT IN THE TRANSITIONS
  • 96. MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHM sunINPUTS sun rain sunSTATES Witch WitchJillWitch Witch WitchJack sunWitchJack WitchJill WitchJackJill sunWitchJill Witch WitchJack rainWitchJackJill WitchJill WitchJackJill rain rain WitchJack WitchJackJill PUT IN THE TRANSITIONS
  • 97. THE STATE TRANSITION DIAGRAM HAS BEEN CONSTRUCTED MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHM sunINPUTS sun rain sunSTATES Witch WitchJillWitch Witch WitchJack sunWitchJack WitchJill WitchJackJill sunWitchJill Witch WitchJack rainWitchJackJill WitchJill WitchJackJill rain rain WitchJack WitchJackJill CREATE TWO PARTITIONS— ONE FOR THE FINAL STATES AND ONE FOR THE NONFINAL STATES COLOR FINAL STATES GREEN rain COLOR NONFINAL BLUE
  • 98. THE STATE TRANSITION DIAGRAM HAS BEEN CONSTRUCTED MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHM sunINPUTS sun rain sunSTATES Witch WitchJillWitch Witch WitchJack sunWitchJack WitchJill WitchJackJill sunWitchJill Witch WitchJack rainWitchJackJill WitchJill WitchJackJill rain rain WitchJack WitchJackJill ON INPUT rain WE FIND THAT Witch WANTS TO STAY IN BLUE BUT WitchJack WANTS TO GO rain TO GREEN THEY QUARREL!!! GIVE ANOTHER COLOR SAY ORANGE TO WitchJack!!
  • 99. THE STATE TRANSITION DIAGRAM HAS BEEN CONSTRUCTED MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHM sunINPUTS sun rain sunSTATES Witch WitchJillWitch Witch WitchJack sunWitchJack WitchJill WitchJackJill sunWitchJill Witch WitchJack rainWitchJackJill WitchJill WitchJackJill rain rain WitchJack ON INPUT sun WitchJill WitchJackJill AND WitchJackJill QUAREL! THE FORMER WANTS TO GO TO BLUE AND THE LATTER WANTS TO STAY IN GREEN!! rain CHAOS AND NOISE!!!! GIVE WitchJill COLOR PURPLE
  • 100. THE STATE TRANSITION DIAGRAM HAS BEEN CONSTRUCTED MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHM sunINPUTS sun rain sunSTATES Witch WitchJillWitch Witch WitchJack sunWitchJack WitchJill WitchJackJill sunWitchJill Witch WitchJack rainWitchJackJill WitchJill WitchJackJill rain rain WitchJack WitchJackJill rain
  • 101. THE STATE TRANSITION DIAGRAM HAS BEEN CONSTRUCTED MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHM sunINPUTS sun rain sunSTATES Witch WitchJillWitch Witch WitchJack sunWitchJack WitchJill WitchJackJill sunWitchJill Witch WitchJack rainWitchJackJill WitchJill WitchJackJill rain rain WitchJack WitchJackJill rain
  • 102. THE STATE TRANSITION DIAGRAM HAS BEEN CONSTRUCTED MINIMISATION OF THE DFA USING THE GRAPH COLORING ALGORITHM sunINPUTS sun rain sunSTATES Witch WitchJillWitch Witch WitchJack sunWitchJack WitchJill WitchJackJillWitchJill Witch WitchJack rain su nWitchJackJill WitchJill WitchJackJill rain rain WitchJack WitchJackJill rain
  • 103. MINIMAL DFA HAS 4 STATES = 2^2 STATES sunINPUTS sun rain sunSTATES Witch WitchJillWitch Witch WitchJack sunWitchJack WitchJill WitchJackJill sunWitchJill Witch WitchJack rainWitchJackJill WitchJill WitchJackJill rain rain WitchJack WitchJackJill rain
  • 104. PROBLEM 3• DETERMINE THE MINIMAL DETERMINISTIC FINITE AUTOMATA ACCEPTING THE SET OF ALL STRINGS OVER {sun,rain}* WHERE THE THIRD SYMBOL FROM THE RIGHT END IS A rain.
  • 105. What strings are accepted?BEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING
  • 106. What strings are accepted? FIRST SYMBOL FROM RIGHT ENDBEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING
  • 107. What strings are accepted? REST OF THE STRING FIRST SYMBOL FROM RIGHT ENDBEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING
  • 108. What strings are accepted? REST OF THE STRING SECOND FIRST SYMBOL SYMBOL FROM FROM RIGHT RIGHT END ENDBEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING
  • 109. What strings are accepted? REST OF THE STRING THIRD SECOND FIRST SYMBOL SYMBOL SYMBOL FROM FROM FROM RIGHT RIGHT RIGHT END END END •BEGINNING OFSTRING END OF STRING THIS IS THE • INPUT STRING
  • 110. What strings are accepted? REST OF THE STRING THIRD SECOND FIRST SYMBOL SYMBOL SYMBOL FROM FROM FROM RIGHT RIGHT RIGHT END END END •BEGINNING OFSTRING END OF STRING THIS IS • THE rain INPUT STRING
  • 111. What strings are accepted? REST OF THE STRING THIRD SECOND FIRST SYMBOL SYMBOL SYMBOL FROM FROM FROM RIGHT RIGHT RIGHT END END END •BEGINNING OFSTRING END OF STRING THIS IS • THE rain sun+rain INPUT STRING
  • 112. What strings are accepted? REST OF THE STRING THIRD SECOND FIRST SYMBOL SYMBOL SYMBOL FROM FROM FROM RIGHT RIGHT RIGHT END END END •BEGINNING OFSTRING END OF STRING THIS IS THE • INPUT rain sun+rainsun+rain STRING
  • 113. What strings are accepted? REST OF THE STRING THIRD SECOND FIRST SYMBOL SYMBOL SYMBOL FROM FROM FROM RIGHT RIGHT RIGHT END END END •BEGINNING OFSTRING END OF STRING (sun+rain)* rain sun+rain sun+rain
  • 114. Strings accepted = (sun+rain)*rain(sun+rain)(sun+rain) REST OF THE STRING THIRD SECOND FIRST SYMBOL SYMBOL SYMBOL FROM FROM FROM RIGHT RIGHT RIGHT END END END •BEGINNING OFSTRING END OF STRING (sun+rain)* rain sun+rain sun+rain
  • 115. Strings accepted = (sun+rain)*rain(sun+rain)(sun+rain) REST OF THE THIRD SECOND FIRST STRING SYMBOL SYMBOL SYMBOL FROM FROM FROM RIGHT RIGHT RIGHT END END END •BEGINNING OFSTRING END OF STRING (sun+rain)* rain sun+rain sun+rain
  • 116. • STORY• HANSEL AND GRETHEL ARE IN THEIR FATHER’S HOUSE• THEN THEY GO TO HANSEL’S HOUSE• THEN THEY GO THE GRETHEL’S HOUSE• THEY THEY GO TO THE WITHCH’S HOUSE
  • 117. • STORY IN MORE DETAIL• HANSEL AND GRETHEL STAY IN THEIR FATHER’S HOUSE WHETHER IT IS A sun DAY OR A rain DAY• ON A rain DAY THEY CHOOSE TO GO TO HANSEL’S HOUSE• NEXT DAY THEY GO TO GRETHEL’S HOUSE WHETHER IT IS A sun DAY OR A rain DAY• NEXT DAY THEY GO THE WITHCH’S HOUSE WHETHER IT IS A sun DAY OR A rain DAY• END OF THE STORY
  • 118. Strings accepted = (sun+rain)*rain(sun+rain)(sun+rain) REST OF THE THIRD SECOND FIRST STRING SYMBOL SYMBOL SYMBOL FROM FROM FROM RIGHT RIGHT RIGHT END END END •BEGINNING OFSTRING END OF STRING (sun+rain)* rain sun+rain sun+rain
  • 119. Strings accepted = (sun+rain)*rain(sun+rain)(sun+rain) REST OF THE THIRD SECOND FIRST STRING SYMBOL SYMBOL SYMBOL FROM FROM FROM RIGHT RIGHT RIGHT END END END •BEGINNING OFSTRING END OF STRING (sun+rain)* rain sun+rain sun+rain Father Hansel Grethel Witch
  • 120. Strings accepted = (sun+rain)*rain(sun+rain)(sun+rain) REST OF THE THIRD SECOND FIRST STRING SYMBOL SYMBOL SYMBOL FROM FROM FROM RIGHT RIGHT RIGHT END END END •BEGINNING OFSTRING END OF STRING (sun+rain)* rain sun+rain sun+rain sun, rain Father Hansel Grethel Witch
  • 121. Strings accepted = (sun+rain)*rain(sun+rain)(sun+rain) REST OF THE THIRD SECOND FIRST STRING SYMBOL SYMBOL SYMBOL FROM FROM FROM RIGHT RIGHT RIGHT END END END •BEGINNING OFSTRING END OF STRINGsun,rain rain Father Hansel Grethel Witch
  • 122. Strings accepted = (sun+rain)*rain(sun+rain)(sun+rain) REST OF THE THIRD SECOND FIRST STRING SYMBOL SYMBOL SYMBOL FROM FROM FROM RIGHT RIGHT RIGHT END END END •BEGINNING OFSTRING END OF STRINGsun,rain sun,rain rain Father Hansel Grethel Witch
  • 123. Strings accepted = (sun+rain)*rain(sun+rain)(sun+rain) REST OF THE THIRD SECOND FIRST STRING SYMBOL SYMBOL SYMBOL FROM FROM FROM RIGHT RIGHT RIGHT END END END •BEGINNING OFSTRING END OF STRINGsun,rain sun,rain sun,rain rain Father Hansel Grethel Witch
  • 124. Strings accepted = (sun+rain)*rain(sun+rain)(sun+rain) REST OF THE THIRD SECOND FIRST STRING SYMBOL SYMBOL SYMBOL FROM FROM FROM RIGHT RIGHT RIGHT END END END •BEGINNING OFSTRING END OF STRING sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 125. Strings accepted = (sun+rain)*rain(sun+rain)(sun+rain) REST OF THE THIRD SECOND FIRST STRING SYMBOL SYMBOL SYMBOL FROM FROM FROM RIGHT RIGHT RIGHT END END END •BEGINNING OFSTRING END OF STRINGsun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 126. Strings accepted = (sun+rain)*rain(sun+rain)(sun+rain) • WE HAVE CONSTRUCTED THE NFA OF 4 STATES sun,rain rain sun,rain sun,rain Witch Father Hansel GrethelSTART
  • 127. Strings accepted = (sun+rain)*rain(sun+rain)(sun+rain) • WE HAVE CONSTRUCTED THE NFA OF 4 STATES • WE HAVE TO SHOW THAT THE DFA WILL HAVE 2^3=8 STATES sun,rain rain sun,rain sun,rain Witch Father Hansel GrethelSTART
  • 128. Strings accepted = (sun+rain)*rain(sun+rain)(sun+rain) • WE HAVE CONSTRUCTED THE NFA OF 4 STATES • WE HAVE TO SHOW THAT THE DFA WILL HAVE 2^3=8 STATES • WE WILL FIRST CONSTRUCT THE STATE TRANSITION TABLE OF THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 129. THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 130. STATES THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 131. INPUTS STATES THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 132. INPUTS STATES sun rain THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 133. INPUTS sun rain STATES Father Hansel Grethel Witch Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 134. INPUTS sun rain STATES Father Father Hansel Grethel Witch Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 135. INPUTS sun rain STATES Father Father FatherHansel Hansel Grethel Witch Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 136. INPUTS sun rain STATES Father Father FatherHansel Hansel Grethel Grethel Grethel Witch Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 137. INPUTS sun rain STATES Father Father FatherHansel Hansel Grethel Grethel Grethel Witch Witch Witch Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 138. INPUTS sun rain STATES Father Father FatherHansel Hansel Grethel Grethel Grethel Witch Witch Witch Φ Φ Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 139. INPUTS sun rain STATES Father Father FatherHansel Hansel Grethel Grethel Grethel Witch Witch Witch Φ Φ Φ Φ Φ THE NFAsun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 140. INPUTS STATES sun rain Father Father FatherHansel Hansel Grethel Grethel Grethel Witch Witch Witch Φ Φ Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 141. INPUTS sun rain STATES Father Father FatherHansel Hansel Grethel Grethel Grethel Witch Witch Witch Φ Φ Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 142. INPUTS sun rain STATESSTATES Father Father FatherHansel Hansel Grethel Grethel Grethel Witch Witch Witch Φ Φ Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 143. INPUTS INPUTS sun rain STATESSTATES Father Father FatherHansel Hansel Grethel Grethel Grethel Witch Witch Witch Φ Φ Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 144. INPUTS INPUTS sun rain sun rain STATESSTATES Father Father FatherHansel Hansel Grethel Grethel Grethel Witch Witch Witch Φ Φ Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 145. INPUTS INPUTS sun rain sun rain STATESSTATES Father Father FatherHansel Hansel Grethel Grethel Grethel Witch Witch Witch Φ Φ Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 146. INPUTS INPUTS sun rain sun rain STATESSTATES Father Father FatherHansel Father Hansel Grethel Grethel Grethel Witch Witch Witch Φ Φ Φ Φ Φ THE NFA sun,rain rain sun,rain sun,rain Witch Father Hansel GrethelSTART
  • 147. INPUTS INPUTS sun rain sun rain STATESSTATES Father Father FatherHansel Father Father Hansel Grethel Grethel Grethel Witch Witch Witch Φ Φ Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 148. INPUTS INPUTS sun rain sun rain STATESSTATES Father Father FatherHansel Father Father FatherHansel Hansel Grethel Grethel Grethel Witch Witch Witch Φ Φ Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 149. INPUTS INPUTS sun rain sun rain STATESSTATES Father Father FatherHansel Father Father FatherHansel Hansel Grethel GrethelFatherHansel Grethel Witch Witch Witch Φ Φ Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 150. INPUTS INPUTS sun rain sun rain STATESSTATES Father Father FatherHansel Father Father FatherHansel FatherGrethel Hansel Grethel GrethelFatherHansel Grethel Witch Witch Witch Φ Φ Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 151. INPUTS sun rain INPUTS sun rainSTATES STATES Father Father FatherHansel Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel Hansel Grethel Grethel Grethel Witch Witch Witch Φ Φ Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 152. INPUTS sun rain INPUTS sun rainSTATES STATES Father Father FatherHansel Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel Hansel Grethel Grethel FatherGrethel FatherWitch Grethel Witch Witch Witch Φ Φ Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 153. INPUTS sun rain INPUTS sun rainSTATES STATES Father Father FatherHansel Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel Hansel Grethel Grethel FatherGrethel FatherWitch FatherHanselWitch Grethel Witch Witch FatherGrethelWitchFatherHanselGrethel Witch Φ Φ Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 154. INPUTS sun rain INPUTS sun rainSTATES STATES Father Father FatherHansel Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel Hansel Grethel Grethel FatherGrethel FatherWitch FatherHanselWitch Grethel Witch Witch FatherGrethelWitch FatherHanselGrethelWFatherHanselGrethel itch Witch Φ Φ FatherHanselWitch Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 155. INPUTS sun rain INPUTS sun rainSTATES STATES Father Father FatherHansel Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel Hansel Grethel Grethel FatherGrethel FatherWitch FatherHanselWitch Grethel Witch Witch FatherGrethelWitch FatherHanselGrethelWFatherHanselGrethel itch Witch Φ Φ FatherHanselWitch FatherGrethel Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 156. INPUTS sun rain INPUTS sun rainSTATES STATES Father Father FatherHansel Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel Hansel Grethel Grethel FatherGrethel FatherWitch FatherHanselWitch Grethel Witch Witch FatherGrethelWitch FatherHanselGrethelWFatherHanselGrethel itch Witch Φ Φ FatherHanselWitch FatherGrethel FatherHanselGrethel Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 157. INPUTS sun rain INPUTS sun rainSTATES STATES Father Father FatherHansel Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel Hansel Grethel Grethel FatherGrethel FatherWitch FatherHanselWitch Grethel Witch Witch FatherGrethelWitch FatherHanselGrethelWFatherHanselGrethel itch Witch Φ Φ FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 158. INPUTS sun rain INPUTS sun rainSTATES STATES Father Father FatherHansel Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel Hansel Grethel Grethel FatherGrethel FatherWitch FatherHanselWitch Grethel Witch Witch FatherGrethelWitch FatherHanselGrethelWFatherHanselGrethel itch Witch Φ Φ FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel Φ Φ Φ THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 159. INPUTS sun rain INPUTS sun rainSTATES STATES Father Father FatherHansel Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel Hansel Grethel Grethel FatherGrethel FatherWitch FatherHanselWitch Grethel Witch Witch FatherGrethelWitch FatherHanselGrethelWFatherHanselGrethel itch Witch Φ Φ FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel Φ Φ ΦFatherGrethelWitch THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 160. INPUTS sun rain INPUTS sun rainSTATES STATES Father Father FatherHansel Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel Hansel Grethel Grethel FatherGrethel FatherWitch FatherHanselWitch Grethel Witch Witch FatherGrethelWitch FatherHanselGrethelWFatherHanselGrethel itch Witch Φ Φ FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel Φ Φ Φ FatherWitchFatherGrethelWitch THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 161. INPUTS sun rain INPUTS sun rainSTATES STATES Father Father FatherHansel Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel Hansel Grethel Grethel FatherGrethel FatherWitch FatherHanselWitch Grethel Witch Witch FatherGrethelWitch FatherHanselGrethelWFatherHanselGrethel itch Witch Φ Φ FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel Φ Φ Φ FatherWitch FatherHanselWitchFatherGrethelWitch THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 162. INPUTS sun rain INPUTS sun rainSTATES STATES Father Father FatherHansel Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel Hansel Grethel Grethel FatherGrethel FatherWitch FatherHanselWitch Grethel Witch Witch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch Witch Φ Φ FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel Φ Φ Φ FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 163. INPUTS sun rain INPUTS sun rainSTATES STATES Father Father FatherHansel Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel Hansel Grethel Grethel FatherGrethel FatherWitch FatherHanselWitch Grethel Witch Witch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch Witch Φ Φ FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel Φ Φ Φ FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 164. INPUTS sun rain INPUTS sun rainSTATES STATES Father Father FatherHansel Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel Hansel Grethel Grethel FatherGrethel FatherWitch FatherHanselWitch Grethel Witch Witch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch Witch Φ Φ FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel Φ Φ Φ FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 165. INPUTS sun rain INPUTS sun rainSTATES STATES Father Father FatherHansel Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel Hansel Grethel Grethel FatherGrethel FatherWitch FatherHanselWitch Grethel Witch Witch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch Witch Φ Φ FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel Φ Φ Φ FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch THE NFA sun,rain sun,rain rain sun,rain Witch Father Hansel GrethelSTART
  • 166. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 167. Father
  • 168. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 169. FatherHanselFather
  • 170. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 171. FatherHansel FatherGrethelFather
  • 172. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 173. FatherHansel FatherGrethelFather FatherHanselGrethel
  • 174. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 175. Father FatherWitch FatherHanselFatherGrethelFatherHanselGrethel
  • 176. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 177. Father FatherWitch FatherHansel FatherHanselWitch FatherGrethelFatherHanselGrethel
  • 178. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 179. Father FatherWitch FatherHansel FatherHanselWitch FatherGrethel FatherGrethelWitchFatherHanselGrethel
  • 180. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 181. Father FatherWitch FatherHansel FatherHanselWitch FatherGrethel FatherGrethelWitchFatherHanselGrethel FatherHanselGrethelWitch
  • 182. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 183. Father FatherWitchFatherHansel FatherHanselWitch FatherGrethel FatherGrethelWitchFatherHanselGrethel FatherHanselGrethelWitch
  • 184. Father FatherWitchFatherHansel FatherHanselWitch FatherGrethel FatherGrethelWitchFatherHanselGrethel FatherHanselGrethelWitch
  • 185. Father FatherWitchFatherHansel FatherHanselWitch FatherGrethel FatherGrethelWitchFatherHanselGrethel FatherHanselGrethelWitch
  • 186. Father FatherWitchFatherHansel FatherHanselWitch FatherGrethel FatherGrethelWitchFatherHanselGrethel FatherHanselGrethelWitch
  • 187. Father FatherWitchSTART FatherHansel FatherHanselWitch FatherGrethel FatherGrethelWitch FatherHanselGrethel FatherHanselGrethelWitch
  • 188. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 189. sun Father FatherWitchSTART FatherHansel FatherHanselWitch FatherGrethel FatherGrethelWitch FatherHanselGrethel FatherHanselGrethelWitch
  • 190. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 191. sun Father FatherWitchSTART rain FatherHansel FatherHanselWitch FatherGrethel FatherGrethelWitch FatherHanselGrethel FatherHanselGrethelWitch
  • 192. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 193. sun Father FatherWitchSTART rain FatherHansel FatherHanselWitch sun FatherGrethel FatherGrethelWitch FatherHanselGrethel FatherHanselGrethelWitch
  • 194. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 195. sun Father FatherWitchSTART rain FatherHansel FatherHanselWitch sun rain FatherGrethel FatherGrethelWitch FatherHanselGrethel FatherHanselGrethelWitch
  • 196. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 197. sun Father FatherWitchSTART rain sun FatherHansel FatherHanselWitch sun rain FatherGrethel FatherGrethelWitch FatherHanselGrethel FatherHanselGrethelWitch
  • 198. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 199. sun Father FatherWitchSTART rain sun FatherHansel FatherHanselWitch sun rain rain FatherGrethel FatherGrethelWitch FatherHanselGrethel FatherHanselGrethelWitch
  • 200. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 201. sun Father FatherWitchSTART rain sun FatherHansel FatherHanselWitch sun rain rain FatherGrethel FatherGrethelWitch sun FatherHanselGrethel FatherHanselGrethelWitch
  • 202. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 203. sun Father FatherWitchSTART rain sun FatherHansel FatherHanselWitch sun rain rain FatherGrethel FatherGrethelWitch sun rain FatherHanselGrethel FatherHanselGrethelWitch
  • 204. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 205. sun Father FatherWitchSTART rain sun FatherHansel FatherHanselWitch sun rain rain FatherGrethel sun FatherGrethelWitch sun rain FatherHanselGrethel FatherHanselGrethelWitch
  • 206. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 207. sun Father FatherWitchSTART rain sun FatherHansel FatherHanselWitch rain sun sun rain FatherGrethel FatherGrethelWitch rain sun rain FatherHanselGrethel FatherHanselGrethelWitch
  • 208. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 209. sun sun Father FatherWitchSTART rain sun FatherHansel FatherHanselWitch rain sun sun rain FatherGrethel FatherGrethelWitch rain sun rain FatherHanselGrethel FatherHanselGrethelWitch
  • 210. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 211. sun sun Father FatherWitch rainSTART rain sun FatherHansel FatherHanselWitch rain sun sun rain FatherGrethel FatherGrethelWitch rain sun rain FatherHanselGrethel FatherHanselGrethelWitch
  • 212. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 213. sun sun Father FatherWitch rainSTART rain sun sun FatherHansel FatherHanselWitch rain sun sun rain FatherGrethel FatherGrethelWitch rain sun rain FatherHanselGrethel FatherHanselGrethelWitch
  • 214. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 215. sun sun Father FatherWitch rainSTART rain sun sun FatherHansel FatherHanselWitch rain sun rain sun rain FatherGrethel FatherGrethelWitch rain sun rain FatherHanselGrethel FatherHanselGrethelWitch
  • 216. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 217. sun sun Father FatherWitch rainSTART rain sun sun FatherHansel FatherHanselWitch rain sun rain sun rain FatherGrethel FatherGrethelWitch rain sun sun rain FatherHanselGrethel FatherHanselGrethelWitch
  • 218. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 219. sun sun Father FatherWitch rainSTART rain sun sun FatherHansel FatherHanselWitch rain sun rain sun rain FatherGrethel FatherGrethelWitch rain sun sun rain rain FatherHanselGrethel FatherHanselGrethelWitch
  • 220. sun sun Father FatherWitch rainSTART rain sun sun FatherHansel FatherHanselWitch rain sun rain sun rain FatherGrethel FatherGrethelWitch rain sun sun rain rain FatherHanselGrethel FatherHanselGrethelWitch
  • 221. • WE RENAME THE STATES BY MODIFYING THE STORY• THE STEPMOTHER MAKES A RACKET IN THE HOUSE
  • 222. • WE RENAME THE STATES BY MODIFYING THE STORY• THE STEPMOTHER MAKES A RACKET IN THE HOUSE• THE FATHER TAKES THE CHILDREN HANSEL AND GRETHEL TO THE FOREST
  • 223. • WE RENAME THE STATES BY MODIFYING THE STORY• THE STEPMOTHER MAKES A RACKET IN THE HOUSE• THE FATHER TAKES THE CHILDREN HANSEL AND GRETHEL TO THE FOREST
  • 224. • WE RENAME THE STATES BY MODIFYING THE STORY• THE STEPMOTHER MAKES A RACKET IN THE HOUSE• THE FATHER TAKES THE CHILDREN HANSEL AND GRETHEL TO THE FOREST• HANSEL SEES A SWEET HOUSE AND STARTS EATING
  • 225. • WE RENAME THE STATES BY MODIFYING THE STORY• THE STEPMOTHER MAKES A RACKET IN THE HOUSE• THE FATHER TAKES THE CHILDREN HANSEL AND GRETHEL TO THE FOREST• HANSEL SEES A SWEET HOUSE AND STARTS EATING• GRETHEL SEES THE WITCH AND TRIES TO WARN HIM
  • 226. • WE RENAME THE STATES BY MODIFYING THE STORY• THE STEPMOTHER MAKES A RACKET IN THE HOUSE• THE FATHER TAKES THE CHILDREN HANSEL AND GRETHEL TO THE FOREST• HANSEL SEES A SWEET HOUSE AND STARTS EATING• GRETHEL SEES THE WITCH AND TRIES TO WARN HIM• THE WITCH GRABS THE CHILDREN
  • 227. • WE RENAME THE STATES BY MODIFYING THE STORY• THE STEPMOTHER MAKES A RACKET IN THE HOUSE• THE FATHER TAKES THE CHILDREN HANSEL AND GRETHEL TO THE FOREST• HANSEL SEES A SWEET HOUSE AND STARTS EATING• GRETHEL SEES THE WITCH AND TRIES TO WARN HIM• THE WITCH GRABS THE CHILDREN• THE WITCH FALLS INTO THE POT• END OF THE STORY
  • 228. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father FatherHansel FatherHansel FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 229. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father FatherHansel FatherHansel=Father FatherGrethel FatherHanselGrethel FatherGrethel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 230. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father FatherHansel FatherHansel=Father FatherGrethel FatherHanselGrethel FatherGrethel=Hansel FatherWitch FatherHanselWitch FatherHanselGrethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 231. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father FatherHansel FatherHansel=Father FatherGrethel FatherHanselGrethel FatherGrethel=Hansel FatherWitch FatherHanselWitch FatherHanselGrethel=Grethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch=Forest FatherGrethel FatherHanselGrethel FatherWitch Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 232. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father FatherHansel FatherHansel=Father FatherGrethel FatherHanselGrethel FatherGrethel=Hansel FatherWitch FatherHanselWitch FatherHanselGrethel=Grethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch=Forest FatherGrethel FatherHanselGrethel FatherWitch=Sweethouse Father FatherHansel FatherGrethelWitch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 233. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father FatherHansel FatherHansel=Father FatherGrethel FatherHanselGrethel FatherGrethel=Hansel FatherWitch FatherHanselWitch FatherHanselGrethel=Grethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch=Forest FatherGrethel FatherHanselGrethel FatherWitch=Sweethouse Father FatherHansel FatherGrethelWitch=Witch FatherWitch FatherHanselWitchFatherHanselGrethelWitch FatherGrethelWitch FatherHanselGrethelWitch
  • 234. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father FatherHansel FatherHansel=Father FatherGrethel FatherHanselGrethel FatherGrethel=Hansel FatherWitch FatherHanselWitch FatherHanselGrethel=Grethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch=Forest FatherGrethel FatherHanselGrethel FatherWitch=Sweethouse Father FatherHansel FatherGrethelWitch=Witch FatherWitch FatherHanselWitchFatherHanselGrethelWitch=Pot FatherGrethelWitch FatherHanselGrethelWitch
  • 235. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father=Stepmother FatherHansel FatherHansel=Father FatherGrethel FatherHanselGrethel FatherGrethel=Hansel FatherWitch FatherHanselWitch FatherHanselGrethel=Grethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch=Forest FatherGrethel FatherHanselGrethel FatherWitch=Sweethouse Father FatherHansel FatherGrethelWitch=Witch FatherWitch FatherHanselWitchFatherHanselGrethelWitch=Pot FatherGrethelWitch FatherHanselGrethelWitch
  • 236. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father=Stepmother FatherHansel FatherHansel=Father FatherGrethel=Hansel FatherHanselGrethel FatherGrethel=Hansel FatherWitch FatherHanselWitch FatherHanselGrethel=Grethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch=Forest FatherGrethel FatherHanselGrethel FatherWitch=Sweethouse Father FatherHansel FatherGrethelWitch=Witch FatherWitch FatherHanselWitchFatherHanselGrethelWitch=Pot FatherGrethelWitch FatherHanselGrethelWitch
  • 237. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father=Stepmother FatherHansel FatherHansel=Father FatherGrethel=Hansel FatherHanselGrethel FatherGrethel=Hansel FatherWitch=Sweethouse FatherHanselWitch FatherHanselGrethel=Grethel FatherGrethelWitch FatherHanselGrethelWitch FatherHanselWitch=Forest FatherGrethel FatherHanselGrethel FatherWitch=Sweethouse Father FatherHansel FatherGrethelWitch=Witch FatherWitch FatherHanselWitchFatherHanselGrethelWitch=Pot FatherGrethelWitch FatherHanselGrethelWitch
  • 238. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father=Stepmother FatherHansel FatherHansel=Father FatherGrethel=Hansel FatherHanselGrethel FatherGrethel=Hansel FatherWitch=Sweethouse FatherHanselWitch FatherHanselGrethel=Grethel FatherGrethelWitch=Witch FatherHanselGrethelWitch FatherHanselWitch=Forest FatherGrethel FatherHanselGrethel FatherWitch=Sweethouse Father FatherHansel FatherGrethelWitch=Witch FatherWitch FatherHanselWitchFatherHanselGrethelWitch=Pot FatherGrethelWitch FatherHanselGrethelWitch
  • 239. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father=Stepmother FatherHansel FatherHansel=Father FatherGrethel=Hansel FatherHanselGrethel FatherGrethel=Hansel FatherWitch=Sweethouse FatherHanselWitch FatherHanselGrethel=Grethel FatherGrethelWitch=Witch FatherHanselGrethelWitch FatherHanselWitch=Forest FatherGrethel=Hansel FatherHanselGrethel FatherWitch=Sweethouse Father FatherHansel FatherGrethelWitch=Witch FatherWitch FatherHanselWitchFatherHanselGrethelWitch=Pot FatherGrethelWitch FatherHanselGrethelWitch
  • 240. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father=Stepmother FatherHansel FatherHansel=Father FatherGrethel=Hansel FatherHanselGrethel FatherGrethel=Hansel FatherWitch=Sweethouse FatherHanselWitch FatherHanselGrethel=Grethel FatherGrethelWitch=Witch FatherHanselGrethelWitch FatherHanselWitch=Forest FatherGrethel=Hansel FatherHanselGrethel FatherWitch=Sweethouse Father=Stepmother FatherHansel FatherGrethelWitch=Witch FatherWitch FatherHanselWitchFatherHanselGrethelWitch=Pot FatherGrethelWitch FatherHanselGrethelWitch
  • 241. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father=Stepmother FatherHansel FatherHansel=Father FatherGrethel=Hansel FatherHanselGrethel FatherGrethel=Hansel FatherWitch=Sweethouse FatherHanselWitch FatherHanselGrethel=Grethel FatherGrethelWitch=Witch FatherHanselGrethelWitch FatherHanselWitch=Forest FatherGrethel=Hansel FatherHanselGrethel FatherWitch=Sweethouse Father=Stepmother FatherHansel FatherGrethelWitch=Witch FatherWitch=Sweethouse FatherHanselWitchFatherHanselGrethelWitch=Pot FatherGrethelWitch FatherHanselGrethelWitch
  • 242. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father=Stepmother FatherHansel FatherHansel=Father FatherGrethel=Hansel FatherHanselGrethel FatherGrethel=Hansel FatherWitch=Sweethouse FatherHanselWitch FatherHanselGrethel=Grethel FatherGrethelWitch=Witch FatherHanselGrethelWitch FatherHanselWitch=Forest FatherGrethel=Hansel FatherHanselGrethel FatherWitch=Sweethouse Father=Stepmother FatherHansel FatherGrethelWitch=Witch FatherWitch=Sweethouse FatherHanselWitchFatherHanselGrethelWitch=Pot FatherGrethelWitch=Witch FatherHanselGrethelWitch
  • 243. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father=Stepmother FatherHansel=Father FatherHansel=Father FatherGrethel=Hansel FatherHanselGrethel FatherGrethel=Hansel FatherWitch=Sweethouse FatherHanselWitch FatherHanselGrethel=Grethel FatherGrethelWitch=Witch FatherHanselGrethelWitch FatherHanselWitch=Forest FatherGrethel=Hansel FatherHanselGrethel FatherWitch=Sweethouse Father=Stepmother FatherHansel FatherGrethelWitch=Witch FatherWitch=Sweethouse FatherHanselWitchFatherHanselGrethelWitch=Pot FatherGrethelWitch=Witch FatherHanselGrethelWitch
  • 244. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father=Stepmother FatherHansel=Father FatherHansel=Father FatherGrethel=Hansel FatherHanselGrethel=Gresthel FatherGrethel=Hansel FatherWitch=Sweethouse FatherHanselWitch FatherHanselGrethel=Grethel FatherGrethelWitch=Witch FatherHanselGrethelWitch FatherHanselWitch=Forest FatherGrethel=Hansel FatherHanselGrethel FatherWitch=Sweethouse Father=Stepmother FatherHansel FatherGrethelWitch=Witch FatherWitch=Sweethouse FatherHanselWitchFatherHanselGrethelWitch=Pot FatherGrethelWitch=Witch FatherHanselGrethelWitch
  • 245. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father=Stepmother FatherHansel=Father FatherHansel=Father FatherGrethel=Hansel FatherHanselGrethel=Gresthel FatherGrethel=Hansel FatherWitch=Sweethouse FatherHanselWitch=Forest FatherHanselGrethel=Grethel FatherGrethelWitch=Witch FatherHanselGrethelWitch FatherHanselWitch=Forest FatherGrethel=Hansel FatherHanselGrethel FatherWitch=Sweethouse Father=Stepmother FatherHansel FatherGrethelWitch=Witch FatherWitch=Sweethouse FatherHanselWitchFatherHanselGrethelWitch=Pot FatherGrethelWitch=Witch FatherHanselGrethelWitch
  • 246. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father=Stepmother FatherHansel=Father FatherHansel=Father FatherGrethel=Hansel FatherHanselGrethel=Gresthel FatherGrethel=Hansel FatherWitch=Sweethouse FatherHanselWitch=Forest FatherHanselGrethel=Grethel FatherGrethelWitch=Witch FatherHanselGrethelWitch=Pot FatherHanselWitch=Forest FatherGrethel=Hansel FatherHanselGrethel FatherWitch=Sweethouse Father=Stepmother FatherHansel FatherGrethelWitch=Witch FatherWitch=Sweethouse FatherHanselWitchFatherHanselGrethelWitch=Pot FatherGrethelWitch=Witch FatherHanselGrethelWitch
  • 247. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father=Stepmother FatherHansel=Father FatherHansel=Father FatherGrethel=Hansel FatherHanselGrethel=Gresthel FatherGrethel=Hansel FatherWitch=Sweethouse FatherHanselWitch=Forest FatherHanselGrethel=Grethel FatherGrethelWitch=Witch FatherHanselGrethelWitch=Pot FatherHanselWitch=Forest FatherGrethel=Hansel FatherHanselGrethel=Grethel FatherWitch=Sweethouse Father=Stepmother FatherHansel FatherGrethelWitch=Witch FatherWitch=Sweethouse FatherHanselWitchFatherHanselGrethelWitch=Pot FatherGrethelWitch=Witch FatherHanselGrethelWitch
  • 248. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father=Stepmother FatherHansel=Father FatherHansel=Father FatherGrethel=Hansel FatherHanselGrethel=Gresthel FatherGrethel=Hansel FatherWitch=Sweethouse FatherHanselWitch=Forest FatherHanselGrethel=Grethel FatherGrethelWitch=Witch FatherHanselGrethelWitch=Pot FatherHanselWitch=Forest FatherGrethel=Hansel FatherHanselGrethel=Grethel FatherWitch=Sweethouse Father=Stepmother FatherHansel=Father FatherGrethelWitch=Witch FatherWitch=Sweethouse FatherHanselWitchFatherHanselGrethelWitch=Pot FatherGrethelWitch=Witch FatherHanselGrethelWitch
  • 249. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father=Stepmother FatherHansel=Father FatherHansel=Father FatherGrethel=Hansel FatherHanselGrethel=Gresthel FatherGrethel=Hansel FatherWitch=Sweethouse FatherHanselWitch=Forest FatherHanselGrethel=Grethel FatherGrethelWitch=Witch FatherHanselGrethelWitch=Pot FatherHanselWitch=Forest FatherGrethel=Hansel FatherHanselGrethel=Grethel FatherWitch=Sweethouse Father=Stepmother FatherHansel=Father FatherGrethelWitch=Witch FatherWitch=Sweethouse FatherHanselWitch=ForestFatherHanselGrethelWitch=Pot FatherGrethelWitch=Witch FatherHanselGrethelWitch
  • 250. MINIMISE THE DFA OBTAINED USING THE GRAPH COLORING ALGORITHMINPUTS sun rainSTATES Father = Stepmother Father=Stepmother FatherHansel=Father FatherHansel=Father FatherGrethel=Hansel FatherHanselGrethel=Gresthel FatherGrethel=Hansel FatherWitch=Sweethouse FatherHanselWitch=Forest FatherHanselGrethel=Grethel FatherGrethelWitch=Witch FatherHanselGrethelWitch=Pot FatherHanselWitch=Forest FatherGrethel=Hansel FatherHanselGrethel=Grethel FatherWitch=Sweethouse Father=Stepmother FatherHansel=Father FatherGrethelWitch=Witch FatherWitch=Sweethouse FatherHanselWitch=ForestFatherHanselGrethelWitch=Pot FatherGrethelWitch=Witch FatherHanselGrethelWitch=Pot
  • 251. sun sun Stepmother Forest rainSTART rain sun sun Father Sweethouse rain sun rain sun rain Hansel Witch rain sun sun rain rain Grethel Pot
  • 252. sun sun Stepmother Forest rainSTART rain sun sun Father Sweethouse rain sun rain sun rain Hansel Witch rain sun sun rain rain Grethel Pot
  • 253. sun sun Stepmother Forest rainSTART rain sun sun Father Sweethouse rain sun rain sun rain Hansel Witch rain sun sun rain rain Grethel Pot
  • 254. sun sun Stepmother Forest rainSTART rain sun sun Father Sweethouse rain sun rain sun rain Hansel Witch rain sun sun rain rain Grethel Pot
  • 255. sun sun Stepmother Forest rainSTART rain sun sun Father Sweethouse rain sun rain sun rain Hansel Witch rain sun sun rain rain Grethel Pot
  • 256. sun sun Stepmother Forest rainSTART rain sun sun Father Sweethouse rain sun rain sun rain Hansel Witch rain sun sun rain rain Grethel Pot
  • 257. sun sun Stepmother Forest rainSTART rain sun sun Father Sweethouse rain sun rain sun rain Hansel Witch rain sun sun rain rain Grethel Pot
  • 258. sun sun Stepmother Forest rainSTART rain sun sun Father Sweethouse rain sun rain sun rain Hansel Witch rain sun sun rain rain Grethel Pot
  • 259. sun sun Stepmother Forest rainSTART rain sun sun Father Sweethouse rain sun rain sun rain Hansel Witch rain sun sun rain rain Grethel Pot
  • 260. sun sun Stepmother Forest rainSTART rain sun sun Father Sweethouse rain sun rain sun rain Hansel Witch rain sun sun rain rain Grethel Pot
  • 261. sun sun Stepmother Forest rainSTART rain sun sun Father Sweethouse rain sun rain sun rain Hansel Witch rain sun sun rain rain Grethel Pot
  • 262. sun sun Stepmother Forest rainSTART rain sun sun Father Sweethouse rain sun rain sun rain Hansel Witch rain sun sun rain rain Grethel Pot
  • 263. sun sun Stepmother Forest rainSTART rain sun sun Father Sweethouse rain sun rain sun rain Hansel Witch rain sun sun rain rain Grethel Pot
  • 264. sun sun Stepmother Forest rainSTART rain sun sun Father Sweethouse rain sun rain sun rain Hansel Witch rain sun sun rain rain Grethel Pot
  • 265. sun sun Stepmother Forest rainSTART rain sun sun Father Sweethouse rain sun rain sun rain Hansel Witch rain sun sun rain rain Grethel Pot
  • 266. PROBLEM 4• DETERMINE THE MINIMAL DETERMINISTIC FINITE AUTOMATA ACCEPTING THE SET OF ALL STRINGS OVER {sun,rain}* WHERE THE FOURTH SYMBOL FROM THE RIGHT END IS A rain.
  • 267. What strings are accepted?BEGINNING OF STRING END OF THIS IS THE INPUT STRING STRING
  • 268. What strings are accepted? FIRST SYMBOL FROM RIGHT ENDBEGINNING OF STRING END OF THIS IS THE INPUT STRING STRING
  • 269. What strings are accepted? REST OF THE STRING FIRST SYMBOL FROM RIGHT ENDBEGINNING OF STRING END OF THIS IS THE INPUT STRING STRING
  • 270. What strings are accepted? REST OF THE SECOND FIRST STRING SYMBOL SYMBOL FROM FROM RIGHT RIGHT END ENDBEGINNING OF STRING END OF STRING THIS IS THE INPUT STRING
  • 271. What strings are accepted? REST OF THE THIRD SECOND FIRST STRING SYMBOL SYMBOL SYMBOL FROM FROM FROM RIGHT RIGHT RIGHT END END END •BEGINNING OFSTRING END OF STRING THIS IS THE • INPUT STRING
  • 272. What strings are accepted? FOURTH REST OF THE THIRD SECOND FIRST SYMBOL STRING SYMBOL SYMBOL SYMBOL FROM FROM FROM FROM RIGHT RIGHT RIGHT RIGHT END END END END •BEGINNING OFSTRING END OF STRING • rain THIS IS THE INPUT STRING
  • 273. What strings are accepted? FOURTH REST OF THE THIRD SECOND FIRST SYMBOL STRING SYMBOL SYMBOL SYMBOL FROM FROM FROM FROM RIGHT RIGHT RIGHT RIGHT END END END END •BEGINNING OFSTRING END OF STRING • rain sun+rain sun+rain sun+rain THIS IS THE INPUT STRING
  • 274. What strings are accepted? FOURTH REST OF THE THIRD SECOND FIRST SYMBOL STRING SYMBOL SYMBOL SYMBOL FROM FROM FROM FROM RIGHT RIGHT RIGHT RIGHT END END END END •BEGINNING OFSTRING END OF STRING • (sun+rain)* rain sun+rain sun+rain sun+rain THIS IS THE INPUT STRING THE SET ACCEPTED IS DENOTED BY (0+1)*1(0+1)(0+1)(0+1) where rain=1, sun=0 LET US CONSTRUCT A NFA ACCEPTING THIS SET OF STRINGS
  • 275. JACK AND THE BEANSTALK RETOLD• JACK IS AT HOME WITH HIS Mother AND SHE IS VERY WORRIED ABOUT HIM• WHETHER IT IS A sun DAY OR rain DAY HE IS AT HOME SLEEPING• HIS Mother KEEPS YELLING AT HIM TO DO SOMETHING USEFUL IN LIFE
  • 276. JACK AND THE BEANSTALK RETOLD• ON ONE rain DAY HE VENTURES OUT• Jack KEEP STROLLING IN THE RAIN• ON THE NEXT DAY WHTHER IT IS sun OR rain HE COMES ACROSS A Beanstalk• HE CLIMBS THE BEANSTALK
  • 277. JACK AND THE BEANSTALK RETOLD• THE NEXT DAY WHETHER IT IS sun OR rain DAY HE ENCOUNTERS THE GIANT WHO LOCKS HIM UP• THE NEXT DAY WHETHER IT IS A sun DAY OR rain DAY HE APPEALS TO THE Grandmother OF THE GIANT• END OF THE STORY
  • 278. What strings are accepted? FOURTH REST OF THE THIRD SECOND FIRST SYMBOL STRING SYMBOL SYMBOL SYMBOL FROM FROM FROM FROM RIGHT RIGHT RIGHT RIGHT END END END END •BEGINNING OFSTRING END OF STRING • (sun+rain)* rain sun+rain sun+rain sun+rain THIS IS THE INPUT STRING THE SET ACCEPTED IS DENOTED BY (0+1)*1(0+1)(0+1)(0+1) where rain=1, sun=0 LET US CONSTRUCT A NFA ACCEPTING THIS SET OF STRINGS
  • 279. What strings are accepted? FOURTH REST OF THE SYMBOL THIRD SECOND FIRST STRING FROM RIGHT SYMBOL SYMBOL SYMBOL END FROM RIGHT FROM RIGHT FROM RIGHT END END END • • (sun+rain)* rain sun+rain sun+rain sun+rainBEGINNING OF END OF STRINGSTRING Mother
  • 280. What strings are accepted? FOURTH REST OF THE SYMBOL THIRD SECOND FIRST STRING FROM RIGHT SYMBOL SYMBOL SYMBOL END FROM RIGHT FROM RIGHT FROM END END RIGHT • END • (sun+rain)* rain sun+rain sun+rain sun+rainBEGINNING OF END OF STRINGSTRING Mother Jack
  • 281. What strings are accepted? FOURTH REST OF THE SYMBOL THIRD SECOND FIRST STRING FROM RIGHT SYMBOL SYMBOL SYMBOL END FROM RIGHT FROM RIGHT FROM END END RIGHT END • • sun+rain)* rain sun+rain sun+rain sun+rainBEGINNING OF END OF STRINGSTRING Grand Mother Jack Beanstalk Giant mother
  • 282. What strings are accepted? FOURTH REST OF THE SYMBOL THIRD SECOND FIRST STRING FROM RIGHT SYMBOL SYMBOL SYMBOL END FROM RIGHT FROM RIGHT FROM RIGHT END END END • • (sun+rain)* rain sun+rain sun+rain sun+rainBEGINNING OF END OF STRINGSTRING Mother Jack Beanstalk Giant Grandmother
  • 283. What strings are accepted? FOURTH REST OF THIRD SECOND FIRST SYMBOL THE SYMBOL SYMBOL SYMBOL FROM STRING FROM FROM FROM RIGHT RIGHT RIGHT RIGHT END END END END •BEGINNING OFSTRING END OF STRING • (sun+rain)* rain sun+rain sun+rain sun+rain Bean Grand Mother Jack Giant stalk motherSTART
  • 284. What strings are accepted? FOURTH REST OF THIRD SECOND FIRST SYMBOL THE STRING SYMBOL SYMBOL SYMBOL FROM FROM FROM FROM RIGHT RIGHT RIGHT RIGHT END END END END •BEGINNING OFSTRING END OF STRING sun, rain Bean Grand Mother Jack Giant stalk motherSTART
  • 285. What strings are accepted? REST OF FOURTH THIRD SECOND FIRST THE SYMBOL SYMBOL SYMBOL SYMBOL STRING FROM FROM FROM FROM RIGHT RIGHT RIGHT RIGHT END END END END •BEGINNING OFSTRING END OF STRING sun,rain Giant Grandmother Mother Jack Beanstalk rainSTART
  • 286. What strings are accepted? REST OF FOURTH THIRD SECOND FIRST THE SYMBOL SYMBOL SYMBOL SYMBOL STRING FROM FROM FROM FROM RIGHT RIGHT RIGHT RIGHT END END END ENDSTRING •BEGINNING OF END OF STRING sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rainSTART
  • 287. What strings are accepted? FOURTH REST OF THIRD SECOND FIRST SYMBOL THE SYMBOL SYMBOL SYMBOL FROM STRING FROM FROM FROM RIGHT RIGHT RIGHT RIGHT END END END END •BEGINNING OFSTRING END OF STRING sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rainSTART
  • 288. What strings are accepted? FOURTH REST OF THIRD SECOND FIRST SYMBOL THE SYMBOL SYMBOL SYMBOL FROM STRING FROM FROM FROM RIGHT RIGHT RIGHT RIGHT END END END END •BEGINNING OFSTRING END OF STRING sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rain sun,rainSTART
  • 289. THE STATE INPUTS STATES TRANSITION TABLE sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rain sun,rainSTART
  • 290. THE STATE INPUTS STATES TRANSITION Mother TABLE Jack Beanstalk Giant Grandmother Φ sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rain sun,rainSTART
  • 291. THE STATE INPUTS STATES sun rain TRANSITION Mother TABLE Jack Beanstalk Giant Grandmother Φ sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rain sun,rainSTART
  • 292. THE STATE INPUTS STATES sun rain TRANSITION Mother TABLE Jack Beanstalk Giant Grandmother Φ sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rain sun,rainSTART
  • 293. THE STATE INPUTS STATES sun rain TRANSITION Mother Mother TABLE Jack Beanstalk Giant Grandmother Φ sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rain sun,rainSTART
  • 294. THE STATE INPUTS STATES sun rain TRANSITION Mother Mother TABLE Jack Beanstalk Giant Grandmother Φ sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rain sun,rainSTART
  • 295. THE STATE INPUTS STATES sun rain TRANSITION Mother Mother MotherJack TABLE Jack Beanstalk Giant Grandmother Φ sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rain sun,rainSTART
  • 296. THE STATE INPUTS STATES sun rain TRANSITION Mother Mother MotherJack TABLE Jack Beanstalk Giant Grandmother Φ sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rain sun,rainSTART
  • 297. THE STATE INPUTS STATES sun rain TRANSITION Mother Mother MotherJack TABLE Jack Beanstalk Beanstalk Beanstalk Giant Grandmother Φ sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rain sun,rainSTART
  • 298. THE STATE INPUTS STATES sun rain TRANSITION Mother Mother MotherJack TABLE Jack Beanstalk Beanstalk Beanstalk Giant Grandmother Φ sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rain sun,rainSTART
  • 299. THE STATE INPUTS STATES sun rain TRANSITION Mother Mother MotherJack TABLE Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Φ sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rain sun,rainSTART
  • 300. THE STATE INPUTS STATES sun rain TRANSITION Mother Mother MotherJack TABLE Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Φ sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rain sun,rainSTART
  • 301. THE STATE INPUTS STATES sun rain TRANSITION Mother Mother MotherJack TABLE Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rain sun,rainSTART
  • 302. THE STATE INPUTS STATES sun rain TRANSITION Mother Mother MotherJack TABLE Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rain sun,rainSTART
  • 303. THE STATE INPUTS STATES sun rain TRANSITION Mother Mother MotherJack TABLE Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ sun,rain Giant Grandmother Mother Jack Beanstalk rain sun,rain sun,rain sun,rainSTART
  • 304. INPUTS sun rainSTATESnMother Mother MotherJackJack Beanstalk BeanstalkBeanstalk Giant GiantGiant Grandmother GrandmotherGrandmother Φ ΦΦ Φ Φ
  • 305. INPUT sun rainSSTATESnMother Mother Mother JackJack Bean Bean stalk stalkBeanst Giant GiantalkGiant Grand Grand mother motherGrand Φ ΦmotherΦ Φ Φ
  • 306. STATES INPUTS-> INPUTS sun rain STATESn Mother Mother MotherJack Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 307. STATES INPUTS-> sun rain INPUTS sun rain STATESn Mother Mother MotherJack Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 308. STATES INPUTS-> sun rain INPUTS sun rain STATESn Mother Mother MotherJack Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 309. STATES INPUTS-> sun rain INPUTS sun rain STATESn Mother Mother Mother MotherJack Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 310. STATES INPUTS-> sun rain INPUTS sun rain STATESn Mother Mother Mother Mother MotherJack Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 311. STATES INPUTS-> sun rain INPUTS sun rain STATESn Mother Mother MotherJack Mother Mother MotherJack Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 312. STATES INPUTS-> sun rain INPUTS sun rain STATESn Mother Mother MotherJack MotherJack Mother Mother MotherJack Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 313. STATES INPUTS-> sun rain INPUTS sun rain STATESn Mother Mother MotherJack MotherJack MotherBeanstalk Mother Mother MotherJack Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 314. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk Mother Mother MotherJack Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 315. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk Mother Mother MotherJack Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 316. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant Mother Mother MotherJack Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 317. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 318. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 319. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 320. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 321. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 322. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 323. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk Beanstalk Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 324. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 325. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 326. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 327. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 328. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant Giant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 329. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 330. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 331. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmother Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 332. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 333. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 334. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother Grandmother Grandmother Φ Φ Φ Φ Φ
  • 335. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother Grandmother Φ Φ Φ Φ Φ
  • 336. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant Grandmother Φ Φ Φ Φ Φ
  • 337. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiant Grandmother Φ Φ Φ Φ Φ
  • 338. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkBeanstalkGiant Grandmother Φ Φ Φ Φ Φ
  • 339. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant Grandmother Φ Φ Φ Φ Φ
  • 340. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother Grandmother Φ Φ Φ Φ Φ
  • 341. INPUTS sun rainSTATES INPUTS-> sun rain STATESn Mother Mother MotherJack MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother MotherJackGiantGrandmother Grandmother Φ Φ Φ Φ Φ
  • 342. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother MotherJackGiantGrandmotherMotherJackGiantGrandmother Grandmother Φ Φ Φ Φ Φ
  • 343. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother MotherJackGiantGrandmotherMotherJackGiantGrandmother MotherBeanstalkGrandmother Grandmother Φ Φ Φ Φ Φ
  • 344. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother MotherJackGiantGrandmotherMotherJackGiantGrandmother MotherBeanstalkGrandmother MotherJackBeanstalkGrandmother Grandmother Φ ΦMotherGiantGrandmother Φ Φ Φ
  • 345. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother MotherJackGiantGrandmotherMotherJackGiantGrandmother MotherBeanstalkGrandmother MotherJackBeanstalkGrandmother Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother Φ Φ Φ
  • 346. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother MotherJackGiantGrandmotherMotherJackGiantGrandmother MotherBeanstalkGrandmother MotherJackBeanstalkGrandmother Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmother Φ Φ Φ
  • 347. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother MotherJackGiantGrandmotherMotherJackGiantGrandmother MotherBeanstalkGrandmother MotherJackBeanstalkGrandmother Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother Φ Φ Φ
  • 348. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother MotherJackGiantGrandmotherMotherJackGiantGrandmother MotherBeanstalkGrandmother MotherJackBeanstalkGrandmother Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother Φ Φ Φ
  • 349. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother MotherJackGiantGrandmotherMotherJackGiantGrandmother MotherBeanstalkGrandmother MotherJackBeanstalkGrandmother Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ Φ
  • 350. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother MotherJack STATESn MotherJack MotherBeanstalk MotherJackBeanstalk MotherBeanstalk MotherGiant MotherJackGiant Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant MotherJackBeanstalkGiant MotherGiant MotherGrandmother MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherJackBeanstalkGiant MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother MotherJackGiantGrandmotherMotherJackGiantGrandmother MotherBeanstalkGrandmother MotherJackBeanstalkGrandmother Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ Φ
  • 351. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother---- MotherJack---- STATESn MotherJack MotherBeanstalk---- MotherJackBeanstalk---- MotherBeanstalk MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant MotherGrandmother---- MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother--- MotherJack Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother MotherJackGiantGrandmotherMotherJackGiantGrandmother MotherBeanstalkGrandmother MotherJackBeanstalkGrandmother Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother
  • 352. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother---- MotherJack---- STATESn MotherJack MotherBeanstalk---- MotherJackBeanstalk---- MotherBeanstalk MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant MotherGrandmother---- MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother--- MotherJack----- Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother MotherJackGiantGrandmotherMotherJackGiantGrandmother MotherBeanstalkGrandmother MotherJackBeanstalkGrandmother Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother
  • 353. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother---- MotherJack---- STATESn MotherJack MotherBeanstalk---- MotherJackBeanstalk---- MotherBeanstalk MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant MotherGrandmother---- MotherJackGrandmother Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother MotherJackBeanstalkGrandmotherMotherGrandmother Mother--- MotherJack----- Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother MotherJackGiantGrandmotherMotherJackGiantGrandmother MotherBeanstalkGrandmother MotherJackBeanstalkGrandmother Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmother
  • 354. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother---- MotherJack---- STATESn MotherJack MotherBeanstalk---- MotherJackBeanstalk---- MotherBeanstalk MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmotherMotherGrandmother Mother--- MotherJack----- Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother MotherJackGiantGrandmotherMotherJackGiantGrandmother MotherBeanstalkGrandmother MotherJackBeanstalkGrandmother Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother
  • 355. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother---- MotherJack---- STATESn MotherJack MotherBeanstalk---- MotherJackBeanstalk---- MotherBeanstalk MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmotherMotherGrandmother Mother--- MotherJack----- Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother MotherJackGiantGrandmotherMotherJackGiantGrandmother MotherBeanstalkGrandmother MotherJackBeanstalkGrandmother Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother MotherGiant
  • 356. STATES INPUTS-> sun rain INPUTS sun rain Mother Mother---- MotherJack---- STATESn MotherJack MotherBeanstalk---- MotherJackBeanstalk---- MotherBeanstalk MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmotherMotherGrandmother Mother--- MotherJack----- Beanstalk Giant GiantMotherJackBeanstalkGiant MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherJackGrandmother MotherBeanstalk MotherJackBeanstalk Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother MotherBeanstalkGiant MotherJackBeanstalkGiantMotherBeanstalkGiant MotherGiantGrandmother MotherJackGiantGrandmotherMotherJackGiantGrandmother MotherBeanstalkGrandmother MotherJackBeanstalkGrandmother Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother MotherGiant MotherJackGiant
  • 357. STATES INPUTS-> sun rain INPUTS sun rain Mother------ Mother---- MotherJack---- STATESn MotherJack----- MotherBeanstalk---- MotherJackBeanstalk---- MotherBeanstalk----- MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk---- MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Mother--- MotherJack----- Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- MotherBeanstalk----- MotherJackBeanstalk---- Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 358. STATES INPUTS-> sun rain INPUTS sun rain Mother------ Mother---- MotherJack---- STATESn MotherJack----- MotherBeanstalk---- MotherJackBeanstalk---- MotherBeanstalk----- MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk---- MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Mother--- MotherJack----- Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- MotherBeanstalk----- MotherJackBeanstalk---- Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 359. STATES INPUTS-> sun rain INPUTS sun rain Mother------ Mother---- MotherJack---- STATESn MotherJack----- MotherBeanstalk---- MotherJackBeanstalk---- MotherBeanstalk----- MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk---- MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Mother--- MotherJack----- Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- MotherBeanstalk----- MotherJackBeanstalk---- Giant Grandmothe GrandmotheMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant----- r rMotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmothe Φ Φ rMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 360. SNOW WHITE AND THE SEVEN DWARFS RETOLD• WE START IN THE PALACE WITH THE WICKED STEPMOTHER Queen• THE Queen IS ASSOCIATED WITH THE Magicmirror WHICH SHE QUESTIONS FOR THE FAIREST• THE Magicmirror DECLARES Snowwhite AS THE FAIREST• THE WICKED Queen SUMMONS THE Hunter
  • 361. • THE Hunter TAKES Snowwhite TO THE Forest AND LEAVES HERE THERE• SHE WANDERS OFF AND FIND THE Dwarfs• THE WICKED STEPMOTHER COMES AS A Witch WITH POISONED APPLES• Snowwhite EATS AN Apple WHICH IS POISONED• Snowwhite FALLS ASLEEP
  • 362. • THE Dwarfs KEEP Snowwhite IN A Glasscoffin• THE HANDSOME Prince COMES ALONG AND FINDS Snowwhite SLEEPING• HE GIVES Snowwhite a Kiss AND SHE WAKES UP• THE Prince TAKES Snowwhite TO THE Palace
  • 363. •• THE WICKED Witch CONSULTS THE MIRROR AGAIN WHICH DECLARES Snowwhite AS THE FAIREST• THE WICKED Witch GOES UP IN Witchsmoke• Snowwhite MARRIES THE PRINCE AND THERE IS A BIG Feast
  • 364. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen MotherJack---- STATESn MotherJack----- MotherBeanstalk---- MotherJackBeanstalk---- MotherBeanstalk----- MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk---- MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Mother--- MotherJack----- Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- MotherBeanstalk----- MotherJackBeanstalk---- Giant Grandmothe GrandmotheMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant----- r rMotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackGrandmother---- Grandmothe Φ Φ rMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 365. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen MotherJack---- STATESn MotherJack----- MotherBeanstalk---- MotherJackBeanstalk---- MotherBeanstalk----- MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk---- MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Mother--- MotherJack----- Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- MotherBeanstalk----- MotherJackBeanstalk---- Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 366. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen MotherJack---- STATESn MotherJack----- MotherBeanstalk---- MotherJackBeanstalk---- MotherBeanstalk----- MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk---- MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen MotherJack----- Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- MotherBeanstalk----- MotherJackBeanstalk---- Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 367. SNOW WHITE AND THE SEVEN DWARFS RETOLD• WE START IN THE PALACE WITH THE WICKED STEPMOTHER Queen• THE Queen IS ASSOCIATED WITH THE Magicmirror WHICH SHE QUESTIONS FOR THE FAIREST• THE Magicmirror DECLARES Snowwhite AS THE FAIREST• THE WICKED Queen SUMMONS THE Hunter
  • 368. • THE Hunter TAKES Snowwhite TO THE Forest AND LEAVES HERE THERE• SHE WANDERS OFF AND FIND THE Dwarfs• THE WICKED STEPMOTHER COMES AS A Witch WITH POISONED APPLES• Snowwhite EATS AN Apple WHICH IS POISONED• Snowwhite FALLS ASLEEP
  • 369. • THE Dwarfs KEEP Snowwhite IN A Glasscoffin• THE HANDSOME Prince COMES ALONG AND FINDS Snowwhite SLEEPING• HE GIVES Snowwhite a Kiss AND SHE WAKES UP• THE Prince TAKES Snowwhite TO THE Palace
  • 370. •• THE WICKED Witch CONSULTS THE MIRROR AGAIN WHICH DECLARES Snowwhite AS THE FAIREST• THE WICKED Witch GOES UP IN Witchsmoke• Snowwhite MARRIES THE PRINCE AND THERE IS A BIG Feast
  • 371. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror MotherBeanstalk---- MotherJackBeanstalk---- MotherBeanstalk----- MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk---- MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen MotherJack----- Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- MotherBeanstalk----- MotherJackBeanstalk---- Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 372. STATES INPUTS-> sun rain INPUTS sun rain STATESn Queen Queen Magicmirror Magicmirror MotherBeanstalk---- MotherJackBeanstalk---- MotherBeanstalk----- MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk---- MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen MotherJack----- Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- MotherBeanstalk----- MotherJackBeanstalk---- Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 373. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror MotherBeanstalk---- MotherJackBeanstalk---- MotherBeanstalk----- MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk---- MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- MotherBeanstalk----- MotherJackBeanstalk---- Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 374. SNOW WHITE AND THE SEVEN DWARFS RETOLD• WE START IN THE PALACE WITH THE WICKED STEPMOTHER Queen• THE Queen IS ASSOCIATED WITH THE Magicmirror WHICH SHE QUESTIONS FOR THE FAIREST• THE Magicmirror DECLARES Snowwhite AS THE FAIREST• THE WICKED Queen SUMMONS THE Hunter
  • 375. • THE Hunter TAKES Snowwhite TO THE Forest AND LEAVES HERE THERE• SHE WANDERS OFF AND FIND THE Dwarfs• THE WICKED STEPMOTHER COMES AS A Witch WITH POISONED APPLES• Snowwhite EATS AN Apple WHICH IS POISONED• Snowwhite FALLS ASLEEP
  • 376. • THE Dwarfs KEEP Snowwhite IN A Glasscoffin• THE HANDSOME Prince COMES ALONG AND FINDS Snowwhite SLEEPING• HE GIVES Snowwhite a Kiss AND SHE WAKES UP• THE Prince TAKES Snowwhite TO THE Palace
  • 377. •• THE WICKED Witch CONSULTS THE MIRROR AGAIN WHICH DECLARES Snowwhite AS THE FAIREST• THE WICKED Witch GOES UP IN Witchsmoke• Snowwhite MARRIES THE PRINCE AND THERE IS A BIG Feast
  • 378. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror MotherBeanstalk---- MotherJackBeanstalk---- MotherBeanstalk----- MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk---- MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- MotherBeanstalk----- MotherJackBeanstalk---- Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 379. SNOW WHITE AND THE SEVEN DWARFS RETOLD• WE START IN THE PALACE WITH THE WICKED STEPMOTHER Queen• THE Queen IS ASSOCIATED WITH THE Magicmirror WHICH SHE QUESTIONS FOR THE FAIREST• THE Magicmirror DECLARES Snowwhite AS THE FAIREST• THE WICKED Queen SUMMONS THE Hunter
  • 380. • THE Hunter TAKES Snowwhite TO THE Forest AND LEAVES HERE THERE• SHE WANDERS OFF AND FIND THE Dwarfs• THE WICKED STEPMOTHER COMES AS A Witch WITH POISONED APPLES• Snowwhite EATS AN Apple WHICH IS POISONED• Snowwhite FALLS ASLEEP
  • 381. • THE Dwarfs KEEP Snowwhite IN A Glasscoffin• THE HANDSOME Prince COMES ALONG AND FINDS Snowwhite SLEEPING• HE GIVES Snowwhite a Kiss AND SHE WAKES UP• THE Prince TAKES Snowwhite TO THE Palace
  • 382. •• THE WICKED Witch CONSULTS THE MIRROR AGAIN WHICH DECLARES Snowwhite AS THE FAIREST• THE WICKED Witch GOES UP IN Witchsmoke• Snowwhite MARRIES THE PRINCE AND THERE IS A BIG Feast
  • 383. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror MotherBeanstalk---- MotherJackBeanstalk---- Snowwhite MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk---- MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- MotherBeanstalk----- MotherJackBeanstalk---- Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 384. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite MotherJackBeanstalk---- Snowwhite MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk---- MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- MotherBeanstalk----- MotherJackBeanstalk---- Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 385. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite MotherJackBeanstalk---- Snowwhite MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk---- MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite MotherJackBeanstalk---- Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 386. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite MotherJackBeanstalk---- Snowwhite MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk---- MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite MotherJackBeanstalk---- Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 387. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite MotherJackBeanstalk---- Snowwhite MotherGiant---- MotherJackGiant----- Mother Mother MotherJack MotherJackBeanstalk---- MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite MotherJackBeanstalk---- Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 388. SNOW WHITE AND THE SEVEN DWARFS RETOLD• WE START IN THE PALACE WITH THE WICKED STEPMOTHER Queen• THE Queen IS ASSOCIATED WITH THE Magicmirror WHICH SHE QUESTIONS FOR THE FAIREST• THE Magicmirror DECLARES Snowwhite AS THE FAIREST• THE WICKED Queen SUMMONS THE Hunter
  • 389. • THE Hunter TAKES Snowwhite TO THE Forest AND LEAVES HERE THERE• SHE WANDERS OFF AND FIND THE Dwarfs• THE WICKED STEPMOTHER COMES AS A Witch WITH POISONED APPLES• Snowwhite EATS AN Apple WHICH IS POISONED• Snowwhite FALLS ASLEEP
  • 390. • THE Dwarfs KEEP Snowwhite IN A Glasscoffin• THE HANDSOME Prince COMES ALONG AND FINDS Snowwhite SLEEPING• HE GIVES Snowwhite a Kiss AND SHE WAKES UP• THE Prince TAKES Snowwhite TO THE Palace
  • 391. •• THE WICKED Witch CONSULTS THE MIRROR AGAIN WHICH DECLARES Snowwhite AS THE FAIREST• THE WICKED Witch GOES UP IN Witchsmoke• Snowwhite MARRIES THE PRINCE AND THERE IS A BIG Feast
  • 392. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite MotherJackBeanstalk---- Snowwhite MotherGiant---- MotherJackGiant----- Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen MagicmirrorMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother- Beanstalk Giant GiantMotherJackGrandmother---- Snowwhite MotherJackBeanstalk----MotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant----- Giant Grandmoth Grandmoth er erMotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmoth Φ Φ erMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 393. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite MotherGiant---- MotherJackGiant----- Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite MotherJackBeanstalk---- Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 394. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite MotherGiant---- MotherJackGiant----- Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 395. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite MotherGiant---- MotherJackGiant----- Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmothe GrandmotheMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant----- r rMotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmothe Φ Φ rMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 396. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite MotherGiant---- MotherJackGiant----- Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 397. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite MotherGiant---- MotherJackGiant----- Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- MotherGiant---- MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 398. SNOW WHITE AND THE SEVEN DWARFS RETOLD• WE START IN THE PALACE WITH THE WICKED STEPMOTHER Queen• THE Queen IS ASSOCIATED WITH THE Magicmirror WHICH SHE QUESTIONS FOR THE FAIREST• THE Magicmirror DECLARES Snowwhite AS THE FAIREST• THE WICKED Queen SUMMONS THE Hunter
  • 399. • THE Hunter TAKES Snowwhite TO THE Forest AND LEAVES HERE THERE• SHE WANDERS OFF AND FIND THE Dwarfs• THE WICKED STEPMOTHER COMES AS A Witch WITH POISONED APPLES• Snowwhite EATS AN Apple WHICH IS POISONED• Snowwhite FALLS ASLEEP
  • 400. • THE Dwarfs KEEP Snowwhite IN A Glasscoffin• THE HANDSOME Prince COMES ALONG AND FINDS Snowwhite SLEEPING• HE GIVES Snowwhite a Kiss AND SHE WAKES UP• THE Prince TAKES Snowwhite TO THE Palace
  • 401. •• THE WICKED Witch CONSULTS THE MIRROR AGAIN WHICH DECLARES Snowwhite AS THE FAIREST• THE WICKED Witch GOES UP IN Witchsmoke• Snowwhite MARRIES THE PRINCE AND THERE IS A BIG Feast
  • 402. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite MotherGiant---- MotherJackGiant----- Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 403. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite MotherGiant---- MotherJackGiant----- Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 404. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest MotherJackGiant----- Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 405. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest MotherJackGiant----- Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackBeanstalkGrandmother----MotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- MotherGiant MotherJackGiant
  • 406. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest MotherJackGiant----- Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest MotherJackGiant
  • 407. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest MotherJackGiant----- Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkMotherJackGiant---- MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest MotherJackGiant
  • 408. SNOW WHITE AND THE SEVEN DWARFS RETOLD• WE START IN THE PALACE WITH THE WICKED STEPMOTHER Queen• THE Queen IS ASSOCIATED WITH THE Magicmirror WHICH SHE QUESTIONS FOR THE FAIREST• THE Magicmirror DECLARES Snowwhite AS THE FAIREST• THE WICKED Queen SUMMONS THE Hunter
  • 409. • THE Hunter TAKES Snowwhite TO THE Forest AND LEAVES HERE THERE• SHE WANDERS OFF AND FIND THE Dwarfs• THE WICKED STEPMOTHER COMES AS A Witch WITH POISONED APPLES• Snowwhite EATS AN Apple WHICH IS POISONED• Snowwhite FALLS ASLEEP
  • 410. • THE Dwarfs KEEP Snowwhite IN A Glasscoffin• THE HANDSOME Prince COMES ALONG AND FINDS Snowwhite SLEEPING• HE GIVES Snowwhite a Kiss AND SHE WAKES UP• THE Prince TAKES Snowwhite TO THE Palace
  • 411. •• THE WICKED Witch CONSULTS THE MIRROR AGAIN WHICH DECLARES Snowwhite AS THE FAIREST• THE WICKED Witch GOES UP IN Witchsmoke• Snowwhite MARRIES THE PRINCE AND THERE IS A BIG Feast
  • 412. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest MotherJackGiant----- Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest MotherJackGiant
  • 413. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest MotherJackGiant----- Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 414. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 415. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantMotherJackBeanstalkGiant---- MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 416. SNOW WHITE AND THE SEVEN DWARFS RETOLD• WE START IN THE PALACE WITH THE WICKED STEPMOTHER Queen• THE Queen IS ASSOCIATED WITH THE Magicmirror WHICH SHE QUESTIONS FOR THE FAIREST• THE Magicmirror DECLARES Snowwhite AS THE FAIREST• THE WICKED Queen SUMMONS THE Hunter
  • 417. • THE Hunter TAKES Snowwhite TO THE Forest AND LEAVES HERE THERE• SHE WANDERS OFF AND FIND THE Dwarfs• THE WICKED STEPMOTHER COMES AS A Witch WITH POISONED APPLES• Snowwhite EATS AN Apple WHICH IS POISONED• Snowwhite FALLS ASLEEP
  • 418. • THE Dwarfs KEEP Snowwhite IN A Glasscoffin• THE HANDSOME Prince COMES ALONG AND FINDS Snowwhite SLEEPING• HE GIVES Snowwhite a Kiss AND SHE WAKES UP• THE Prince TAKES Snowwhite TO THE Palace
  • 419. •• THE WICKED Witch CONSULTS THE MIRROR AGAIN WHICH DECLARES Snowwhite AS THE FAIREST• THE WICKED Witch GOES UP IN Witchsmoke• Snowwhite MARRIES THE PRINCE AND THERE IS A BIG Feast
  • 420. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 421. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter MotherBeanstalkGiant---- MotherJackBeanstalkGiant--- Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 422. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter MotherBeanstalkGiant---- Witch Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 423. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter MotherBeanstalkGiant---- Witch Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- MotherJackBeanstalkGiant-----MotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 424. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter MotherBeanstalkGiant---- Witch Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- WitchMotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 425. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter MotherBeanstalkGiant---- Witch Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- WitchMotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 426. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter MotherBeanstalkGiant---- Witch Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----MotherGrandmother---- Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- WitchMotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 427. SNOW WHITE AND THE SEVEN DWARFS RETOLD• WE START IN THE PALACE WITH THE WICKED STEPMOTHER Queen• THE Queen IS ASSOCIATED WITH THE Magicmirror WHICH SHE QUESTIONS FOR THE FAIREST• THE Magicmirror DECLARES Snowwhite AS THE FAIREST• THE WICKED Queen SUMMONS THE Hunter
  • 428. • THE Hunter TAKES Snowwhite TO THE Forest AND LEAVES HERE THERE• SHE WANDERS OFF AND FIND THE Dwarfs• THE WICKED STEPMOTHER COMES AS A Witch WITH POISONED APPLES• Snowwhite EATS AN Apple WHICH IS POISONED• Snowwhite FALLS ASLEEP
  • 429. • THE Dwarfs KEEP Snowwhite IN A Glasscoffin• THE HANDSOME Prince COMES ALONG AND FINDS Snowwhite SLEEPING• HE GIVES Snowwhite a Kiss AND SHE WAKES UP• THE Prince TAKES Snowwhite TO THE Palace
  • 430. •• THE WICKED Witch CONSULTS THE MIRROR AGAIN WHICH DECLARES Snowwhite AS THE FAIREST• THE WICKED Witch GOES UP IN Witchsmoke• Snowwhite MARRIES THE PRINCE AND THERE IS A BIG Feast
  • 431. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter MotherBeanstalkGiant---- Witch Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----Sleep Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- WitchMotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 432. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter MotherBeanstalkGiant---- Witch Forest MotherGrandmother---- MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----Sleep Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- WitchMotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 433. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter MotherBeanstalkGiant---- Witch Forest Sleep MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----Sleep Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- WitchMotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 434. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter MotherBeanstalkGiant---- Witch Forest Sleep MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----Sleep Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- WitchMotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother MotherGrandmother MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 435. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter MotherBeanstalkGiant---- Witch Forest Sleep MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----Sleep Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- WitchMotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother Sleep MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 436. STATES INPUTS-> sun rain INPUTS sun Queen Queen Magicmirror STATESn rai Magicmirror Snowwhite Hunter n Snowwhite Forest Dwarfs Mother Mother Mothe Hunter MotherBeanstalkGiant---- Witch rJack Forest Sleep MotherJackGrandmother--- Jack BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother---- Beanst alkSleep Queen Magicmirror Beanstalk GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother- GiantMotherJackGrandmother---- Snowwhite Hunter Giant GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- Witch Grand motheMotherBeanstalkGiant---- MotherGiantGrandmother---- MotherJackGiantGrandmother--- rMotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother Sleep MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 437. SNOW WHITE AND THE SEVEN DWARFS RETOLD• WE START IN THE PALACE WITH THE WICKED STEPMOTHER Queen• THE Queen IS ASSOCIATED WITH THE Magicmirror WHICH SHE QUESTIONS FOR THE FAIREST• THE Magicmirror DECLARES Snowwhite AS THE FAIREST• THE WICKED Queen SUMMONS THE Hunter
  • 438. • THE Hunter TAKES Snowwhite TO THE Forest AND LEAVES HERE THERE• SHE WANDERS OFF AND FIND THE Dwarfs• THE WICKED STEPMOTHER COMES AS A Witch WITH POISONED APPLES• Snowwhite EATS AN Apple WHICH IS POISONED• Snowwhite FALLS ASLEEP
  • 439. • THE Dwarfs KEEP Snowwhite IN A Glasscoffin• THE HANDSOME Prince COMES ALONG AND FINDS Snowwhite SLEEPING• HE GIVES Snowwhite a Kiss AND SHE WAKES UP• THE Prince TAKES Snowwhite TO THE Palace
  • 440. •• THE WICKED Witch CONSULTS THE MIRROR AGAIN WHICH DECLARES Snowwhite AS THE FAIREST• THE WICKED Witch GOES UP IN Witchsmoke• Snowwhite MARRIES THE PRINCE AND THERE IS A BIG Feast
  • 441. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter MotherBeanstalkGiant---- Witch Forest Sleep MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----Sleep Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- WitchApple MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother Sleep MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 442. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter MotherBeanstalkGiant---- Witch Forest Sleep MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----Sleep Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- WitchApple MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother Sleep MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 443. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter Apple Witch Forest Sleep MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----Sleep Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- WitchApple MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother Sleep MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 444. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter Apple Witch Forest Sleep MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----Sleep Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- MotherBeanstalkGiant--- WitchApple MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother Sleep MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 445. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter Apple Witch Forest Sleep MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----Sleep Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- Apple WitchApple MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother Sleep MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 446. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter Apple Witch Forest Sleep MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----Sleep Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- Apple WitchApple MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother Sleep MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 447. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter Apple Witch Forest Sleep MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----Sleep Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-MotherJackGrandmother---- Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- Apple WitchApple MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother Sleep MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 448. SNOW WHITE AND THE SEVEN DWARFS RETOLD• WE START IN THE PALACE WITH THE WICKED STEPMOTHER Queen• THE Queen IS ASSOCIATED WITH THE Magicmirror WHICH SHE QUESTIONS FOR THE FAIREST• THE Magicmirror DECLARES Snowwhite AS THE FAIREST• THE WICKED Queen SUMMONS THE Hunter
  • 449. • THE Hunter TAKES Snowwhite TO THE Forest AND LEAVES HERE THERE• SHE WANDERS OFF AND FIND THE Dwarfs• THE WICKED STEPMOTHER COMES AS A Witch WITH POISONED APPLES• Snowwhite EATS AN Apple WHICH IS POISONED• Snowwhite FALLS ASLEEP
  • 450. • THE Dwarfs KEEP Snowwhite IN A Glasscoffin• THE HANDSOME Prince COMES ALONG AND FINDS Snowwhite SLEEPING• HE GIVES Snowwhite a Kiss AND SHE WAKES UP• THE Prince TAKES Snowwhite TO THE Palace
  • 451. •• THE WICKED Witch CONSULTS THE MIRROR AGAIN WHICH DECLARES Snowwhite AS THE FAIREST• THE WICKED Witch GOES UP IN Witchsmoke• Snowwhite MARRIES THE PRINCE AND THERE IS A BIG Feast
  • 452. STATES INPUTS-> sun rain INPUTS sun rain STATESn Queen Queen Magicmirror Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter Apple Witch Forest Sleep MotherJackGrandmother--- Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----Sleep Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-Glasscoffin Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- Apple WitchApple MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother Sleep MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 453. STATES INPUTS-> sun rain INPUTS sun Queen Queen Magicmirror STATESn rai Magicmirror Snowwhite Hunter n Snowwhite Forest Dwarfs Mother Mother Mothe Hunter Apple Witch rJack Forest Sleep MotherJackGrandmother--- Jack BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother---- Beanst alkSleep Queen Magicmirror Beanstalk GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother- GiantGlasscoffin Snowwhite Hunter Giant GrandmotherMotherJackBeanstalkGrandmother--- Apple Witch Grand motheApple MotherGiantGrandmother---- MotherJackGiantGrandmother--- rMotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother Sleep MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 454. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter Apple Witch Forest Sleep Glasscoffin Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----Sleep Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-Glasscoffin Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- Apple WitchApple MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother Sleep MotherJackGrandmotherMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 455. STATES INPUTS-> sun rain Queen Queen Magicmirror INPUTS sun rain STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Hunter Apple Witch Mother Mother MotherJack Forest Sleep GlasscoffinDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother---- Jack Beanstalk BeanstalkSleep Queen MagicmirrorWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother- Beanstalk Giant GiantGlasscoffin Snowwhite HunterMotherJackBeanstalkGrandmother--- Apple Witch Giant Grandmoth Grandmoth er erApple MotherGiantGrandmother---- MotherJackBeanstalkGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmoth Φ ΦMotherGiantGrandmother Sleep MotherJackGrandmother erMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmotherMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmother Φ Φ ΦMotherBeanstalkGrandmother--- Forest Dwarfs
  • 456. STATES INPUTS-> sun rain INPUTS sun rain Queen Queen Magicmirror STATESn Magicmirror Snowwhite Hunter Snowwhite Forest Dwarfs Mother Mother MotherJack Hunter Apple Witch Forest Sleep Glasscoffin Jack Beanstalk BeanstalkDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother----Sleep Queen Magicmirror Beanstalk Giant GiantWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother-Glasscoffin Snowwhite Hunter Giant Grandmother GrandmotherMotherJackBeanstalkGrandmother--- Apple WitchApple MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grandmother Φ ΦMotherGiantGrandmother Sleep GlasscoffinMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 457. STATES INPUTS-> sun rain INPUT sun rain Queen Queen Magicmirror S STATE Magicmirror Snowwhite Hunter Sn Snowwhite Forest Dwarfs Mother Mother Mother Hunter Apple Witch Jack Forest Sleep Glasscoffin Jack Bean BeanDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother---- stalk stalkSleep Queen MagicmirrorWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother- Beanst Giant Giant alkGlasscoffin Snowwhite HunterMotherJackBeanstalkGrandmother--- Apple Witch Giant Grand Grand mother motherApple MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grand Φ Φ motherMotherGiantGrandmother Sleep GlasscoffinMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 458. SNOW WHITE AND THE SEVEN DWARFS RETOLD• WE START IN THE PALACE WITH THE WICKED STEPMOTHER Queen• THE Queen IS ASSOCIATED WITH THE Magicmirror WHICH SHE QUESTIONS FOR THE FAIREST• THE Magicmirror DECLARES Snowwhite AS THE FAIREST• THE WICKED Queen SUMMONS THE Hunter
  • 459. • THE Hunter TAKES Snowwhite TO THE Forest AND LEAVES HERE THERE• SHE WANDERS OFF AND FIND THE Dwarfs• THE WICKED STEPMOTHER COMES AS A Witch WITH POISONED APPLES• Snowwhite EATS AN Apple WHICH IS POISONED• Snowwhite FALLS ASLEEP
  • 460. • THE Dwarfs KEEP Snowwhite IN A Glasscoffin• THE HANDSOME Prince COMES ALONG AND FINDS Snowwhite SLEEPING• HE GIVES Snowwhite a Kiss AND SHE WAKES UP• THE Prince TAKES Snowwhite TO THE Palace
  • 461. •• THE WICKED Witch CONSULTS THE MIRROR AGAIN WHICH DECLARES Snowwhite AS THE FAIREST• THE WICKED Witch GOES UP IN Witchsmoke• Snowwhite MARRIES THE PRINCE AND THERE IS A BIG Feast
  • 462. STATES INPUTS-> sun rain INPUT sun rain Queen Queen Magicmirror S STATE Magicmirror Snowwhite Hunter S Snowwhite Forest Dwarfs Mother Mother Mother Hunter Apple Witch Jack Forest Sleep Glasscoffin Jack Bean BeanDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother---- stalk stalkSleep Queen MagicmirrorWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother- Beanst Giant Giant alkGlasscoffin Snowwhite HunterPrince Apple Witch Giant Grand Grand mother motherApple MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grand Φ Φ motherMotherGiantGrandmother Sleep GlasscoffinMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 463. STATES INPUTS-> sun rain INPUT sun rain Queen Queen Magicmirror S STATE Magicmirror Snowwhite Hunter S Snowwhite Forest Dwarfs Mother Mother Mother Hunter Apple Witch Jack Forest Sleep Glasscoffin Jack Bean BeanDwarfs MotherBeanstalkGrandmother--- MotherJackBeanstalkGrandmother---- stalk stalkSleep Queen MagicmirrorWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother- Beanst Giant Giant alkGlasscoffin Snowwhite HunterPrince Apple Witch Giant Grand Grand mother motherApple MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grand Φ Φ motherMotherGiantGrandmother Sleep GlasscoffinMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 464. STATES INPUTS-> sun rain INPUT sun rain Queen Queen Magicmirror S STATE Magicmirror Snowwhite Hunter S Snowwhite Forest Dwarfs Mother Mother Mother Hunter Apple Witch Jack Forest Sleep Glasscoffin Jack Bean BeanDwarfs MotherBeanstalkGrandmother--- Prince stalk stalkSleep Queen MagicmirrorWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother- Beanst Giant Giant alkGlasscoffin Snowwhite HunterPrince Apple Witch Giant Grand Grand mother motherApple MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grand Φ Φ motherMotherGiantGrandmother Sleep GlasscoffinMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 465. STATES INPUTS-> sun rain INPUT sun rain Queen Queen Magicmirror S STATE Magicmirror Snowwhite Hunter S Snowwhite Forest Dwarfs Mother Mother Mother Hunter Apple Witch Jack Forest Sleep Glasscoffin Jack Bean BeanDwarfs MotherBeanstalkGrandmother--- Prince stalk stalkSleep Queen MagicmirrorWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother- Beanst Giant Giant alkGlasscoffin Snowwhite HunterPrince Apple Witch Giant Grand Grand mother motherApple MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grand Φ Φ motherMotherGiantGrandmother Sleep GlasscoffinMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs
  • 466. STATES INPUTS-> sun rain INPUT sun rain Queen Queen Magicmirror S STATE Magicmirror Snowwhite Hunter Sn Snowwhite Forest Dwarfs Mother Mother Mother Hunter Apple Witch Jack Forest Sleep Glasscoffin Jack Bean BeanDwarfs MotherBeanstalkGrandmother--- Prince stalk stalkSleep Queen MagicmirrorWitch MotherBeanstalkGiantGrandmother--- MotherJackBeanstalkGiantGrandmother- Beanst Giant Giant alkGlasscoffin Snowwhite HunterPrince Apple Witch Giant Grand Grand mother motherApple MotherGiantGrandmother---- MotherJackGiantGrandmother---MotherJackGiantGrandmother---- MotherBeanstalkGrandmother---- MotherJackBeanstalkGrandmother---- Grand Φ Φ motherMotherGiantGrandmother Sleep GlasscoffinMotherBeanstalkGiantGrandmother MotherGiantGrandmother MotherJackGiantGrandmother Φ Φ ΦMotherJackBeanstalkGiantGrandmother MotherBeanstalkGiantGrandmother MotherJackBeanstalkGiantGrandmotherMotherBeanstalkGrandmother--- Forest Dwarfs