Mealy version -- logical

  Pres   Input   Next  Output
  State         State

    A      0      A      1
    A      1      B      0
    B      0      C      0
    B      1      A      1
    C      0      B      0
    C      1      C      0


Moore version -- logical

  Pres   Input   Next  
  State         State

    A      0      A
    A      1      B
    B      0      C
    B      1      A
    C      0      B
    C      1      C

  State  Output
    A      1
    B      0
    C      0

Moore version -- binary

  Pres   Input   Next  
  State         State

   00      0     00
   00      1     01
   01      0     10
   01      1     00
   10      0     01
   10      1     10

  State  Output
   00      1
   01      0
   10      0


Moore version -- binary with don't cares

  Pres   Input   Next  
  State         State

   1x      0     1x
   1x      1     01
   01      0     00
   01      1     1x
   00      0     01
   00      1     00

  State  Output
   1x      1
   01      0
   00      0