Help defining mutually recursive classes

Question
21

I can understand the temptation to make State just an id of some type. However, there is a good argument for a State knowing its transitions, and for a State knowing its transition function.