Question: Moore or Mealy state machine?
antonysigma opened this issue · 0 comments
antonysigma commented
Boost SML, like other similar state machine libraries, seems to favor Mealy-style state machine over Moore. In Mealy representation, the action is defined at the edge rather than in the state itself. Is it intentional?
Also, I am aware that all Moore-style representation can be converted to Mealy-style manually. Such an algorithm is taught in computer science courses. Does Boost SML implement the conversion algorithm internally at -O3
compiler optimization level?
Aside: what I meant by Moore: