Re: Quine Mc Cluskey and Automat

   0: IF  c  >=  a  THEN
   3:   c  <-  c  -  a
   4:   c  <-  85  >>  118
   5:   b  <-  109  \&amp;\&amp;  a
   6: ELSE
   8:   IF  d  <  29  THEN
  11:     c  <-  d
  12:     d  <-  40
  13:     d  <-  119
  14:   ELSE
  16:     c  <-  a
  17:     b  <-  42  \&amp;\&amp;  57
  18:     IF  a  !=  c  THEN
  21:       a  <-  d
  22:       d  <-  d  -  112
  23:       a  <-  c  >>  a
  24:     ELSE
  26:       b  <-  1  <<  b
  27:       d  <-  b  +  105
  28:       d  <-  68  >>  38
          FI
        FI
  29:   a  <-  35
  30:   d  <-  a
      FI
  31: d  <-  a  <<  a
  32: a  <-  118
  33: IF  b  ==  c  THEN
  36:   b  <-  100
  37:   a  <-  a
  38:   IF  b  ==  8  THEN
  41:     c  <-  59  \&amp;\&amp;  110
  42:     c  <-  d  >>  78
  43:     c  <-  15
  44:   ELSE
  46:     d  <-  68  <<  b
  47:     b  <-  99
  48:     b  <-  59
        FI
  49: ELSE
  51:   c  <-  a  \&amp;\&amp;  a
  52:   d  <-  126  <<  b
  53:   d  <-  d
      FI
  54: IF  a  <=  29  THEN
  57:   IF  b  >=  b  THEN
  60:     IF  b  >=  d  THEN
  63:       c  <-  d
  64:       b  <-  a  \&amp;\&amp;  122
  65:       b  <-  a
  66:     ELSE
  68:       a  <-  72  \&amp;\&amp;  d
  69:       b  <-  d  ||  a
  70:       c  <-  100  <<  c
          FI
  71:     IF  b  <=  a  THEN
  74:       c  <-  123  <<  c
  75:       a  <-  a
  76:       b  <-  c
  77:     ELSE
  79:       a  <-  c  >>  b
  80:       c  <-  c  +  114
  81:       a  <-  55
          FI
  82:     a  <-  58
  83:   ELSE
  85:     IF  d  <=  64  THEN
  88:       d  <-  d
  89:       a  <-  37
  90:       d  <-  a
  91:     ELSE
  93:       c  <-  118  >>  2
  94:       d  <-  d  \&amp;\&amp;  23
  95:       b  <-  83  -  25
          FI
  96:     IF  d  <=  20  THEN
  99:       d  <-  38
 100:       a  <-  71  >>  63
 101:       b  <-  d  \&amp;\&amp;  78
 102:     ELSE
 104:       c  <-  d
 105:       c  <-  106
 106:       b  <-  a
          FI
 107:     a  <-  c  -  101
        FI
 108:   b  <-  b
 109:   b  <-  124
 110: ELSE
 112:   a  <-  d  -  b
 113:   d  <-  d  ||  d
 114:   b  <-  54
      FI
 115: d  <-  47