enter image description here

Is this state machine a moore machine or a mealy machine? I am confused because the states have outputs and the transitions have output based on the input. I tried making a state table but I think its wrong. Can anyone provide the state machine?

  • $\begingroup$ I'm a little baffled by the state machine. I don't think the intention is that the transitions have outputs. Rather I think that some edges take two different inputs. But there is something wrong with the edge from C to D (is it really supposed to be a transition on 01 twice, or was it supposed to be a transition on either 10 or 01?) Or maybe there's something else I don't understand. $\endgroup$ – Wandering Logic Apr 2 '14 at 2:07
  • $\begingroup$ @WanderingLogic well I'm glad im not the only one confused about the diagram $\endgroup$ – user14864 Apr 2 '14 at 2:23
  • 1
    $\begingroup$ It's not clear to me what kind of machine the term "state machine" asks for. In your table, note the gaps; you should probably not have these. $\endgroup$ – Raphael Apr 2 '14 at 6:19

Since the states define the output, it's a Moore machine.

The edge labels can be understood as follows: an edge $A \xrightarrow{w_1, \dots, w_k} B$ with $w \in \Sigma^*$ means that you can transition from $A$ to $B$ reading any of the words $w_1, \dots, w_k$.

Essentially, it's just a way to compact automata. As an exercise, you can expand the edges and see what you get. It's clear that this compactification is valid for finite automata, even if you add output (if you allow state output $\varepsilon$).

| cite | improve this answer | |
  • $\begingroup$ thank you. so the arrow that has "0, 10" is a short notation for writing "00 or 01 or 10" ? $\endgroup$ – user14864 Apr 2 '14 at 15:15
  • 1
    $\begingroup$ @user14864 I would read that as "consume only 0". Some transitions consume one, others two symbols -- not a problem. $\endgroup$ – Raphael Apr 2 '14 at 15:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.