Sample Output for Assignment 3

Example for genfsm

For the instructor's login name, dj, the output of genfsm looks like this. This is the text description of dj's FSA; yours will look a little different. 
~dj/bin/genfsm dj
state#  a       b
0       3       1
1       4       1
2       2       1
3       3       1
4       4       1
        yes examples             no examples
        ------------             -----------
                  ba                       b
                 aba                      ab
                abaa                      bb
               abbaa                     aaa
               baaba                     bab
               babba                     abb
              abbaaa                    bbab
              aaabaa                    aabb
              aabbaa                   aaaaa
              baaaba                   baaab

Examples for checkfsm

Output for Correct Program

Here is the output of checkfsm with the correct program in the current directory looks like this. This program checks the instructors program using the "yes" and "no" examples from above. 
~dj/bin/checkfsm dj
state#  a       b
0       3       1
1       4       1
2       2       1
3       3       1
4       4       1
         b 'accepted.': correct.
        aa 'accepted.': correct.
        ba 'not accepted.': correct.
        bb 'accepted.': correct.
       baa 'not accepted.': correct.
       bab 'accepted.': correct.
      baba 'not accepted.': correct.
      baab 'accepted.': correct.
      abbb 'accepted.': correct.
     aaaaa 'accepted.': correct.
     bbaaa 'not accepted.': correct.
     abbaa 'not accepted.': correct.
     baaba 'not accepted.': correct.
     ababa 'not accepted.': correct.
     bbaba 'not accepted.': correct.
     aabba 'not accepted.': correct.
     babba 'not accepted.': correct.
     babab 'accepted.': correct.
     abbab 'accepted.': correct.
     baabb 'accepted.': correct.
     babbb 'accepted.': correct.
    bbbbaa 'not accepted.': correct.
    baaaba 'not accepted.': correct.
    aababa 'not accepted.': correct.
    bababa 'not accepted.': correct.
    baabba 'not accepted.': correct.
    ababba 'not accepted.': correct.
    bbbaab 'accepted.': correct.
    aabbab 'accepted.': correct.
    babbab 'accepted.': correct.
    bbbbab 'accepted.': correct.
    aaaabb 'accepted.': correct.
    baaabb 'accepted.': correct.
    abbabb 'accepted.': correct.
    bbbabb 'accepted.': correct.
   aabaaaa 'not accepted.': correct.
   aabbaaa 'not accepted.': correct.
   aaaabaa 'not accepted.': correct.
   abaabaa 'not accepted.': correct.
   bbaabaa 'not accepted.': correct.
   bababaa 'not accepted.': correct.
   aaabbaa 'not accepted.': correct.
   baababa 'not accepted.': correct.
   aabbaba 'not accepted.': correct.
   abbbaba 'not accepted.': correct.
   bababba 'not accepted.': correct.
   bbbabba 'not accepted.': correct.
   bbabbba 'not accepted.': correct.
   babaaab 'accepted.': correct.
   ababaab 'accepted.': correct.
   bbbbaab 'accepted.': correct.
   bbaabab 'accepted.': correct.
   bababab 'accepted.': correct.
   abbabab 'accepted.': correct.
   bbbabab 'accepted.': correct.
   aaabbab 'accepted.': correct.
   bbabbab 'accepted.': correct.
   aabbbab 'accepted.': correct.
   bbbbbab 'accepted.': correct.
   aaaaabb 'accepted.': correct.
   abbaabb 'accepted.': correct.
   aabbabb 'accepted.': correct.
   abbbabb 'accepted.': correct.
   bbbbabb 'accepted.': correct.
   bbaabbb 'accepted.': correct.
   abbabbb 'accepted.': correct.
   bbabbbb 'accepted.': correct.
   aabbbbb 'accepted.': correct.
  abaaaaaa 'not accepted.': correct.
  abbaaaaa 'not accepted.': correct.
  aabbaaaa 'not accepted.': correct.
  babbaaaa 'not accepted.': correct.
  bbbbaaaa 'not accepted.': correct.
  aaaabaaa 'not accepted.': correct.
  bbaabaaa 'not accepted.': correct.
  baabbaaa 'not accepted.': correct.
  bbabbaaa 'not accepted.': correct.
  aabbbaaa 'not accepted.': correct.
  abbbbaaa 'not accepted.': correct.
  baaaabaa 'not accepted.': correct.
  babbabaa 'not accepted.': correct.
  abbbabaa 'not accepted.': correct.
  bbbbabaa 'not accepted.': correct.
  baaabbaa 'not accepted.': correct.
  bbaabbaa 'not accepted.': correct.
  bababbaa 'not accepted.': correct.
  abbabbaa 'not accepted.': correct.
  bbaaaaba 'not accepted.': correct.
  ababaaba 'not accepted.': correct.
  babbaaba 'not accepted.': correct.
  bbbbaaba 'not accepted.': correct.
  aaaababa 'not accepted.': correct.
  bbaababa 'not accepted.': correct.
  abbababa 'not accepted.': correct.
  baabbaba 'not accepted.': correct.
  aabbbaba 'not accepted.': correct.
  abbbbaba 'not accepted.': correct.
  baaaabba 'not accepted.': correct.
  abaaabba 'not accepted.': correct.
  aabaabba 'not accepted.': correct.
0 errors

Output for Incorrect Program

Here's what it looks like when the wrong login name is used; this is what it will look like if your FSA is not working correctly. 
~dj/bin/checkfsm pj
state#  a       b
0       4       3
1       2       3
2       0       3
3       0       4
4       3       3
         a expected 'not accepted.', got 'accepted.'; incorrect.
         b 'accepted.': correct.
        ba expected 'accepted.', got 'not accepted.'; incorrect.
       aab expected 'not accepted.', got 'accepted.'; incorrect.
       bab 'accepted.': correct.
       abb expected 'not accepted.', got 'accepted.'; incorrect.
      bbaa expected 'accepted.', got 'not accepted.'; incorrect.
      baba expected 'accepted.', got 'not accepted.'; incorrect.
      babb expected 'not accepted.', got 'accepted.'; incorrect.
     bbaaa 'not accepted.': correct.
     aabaa expected 'accepted.', got 'not accepted.'; incorrect.
     bbbaa 'not accepted.': correct.
     aaaba expected 'accepted.', got 'not accepted.'; incorrect.
     baaba expected 'accepted.', got 'not accepted.'; incorrect.
     ababa expected 'accepted.', got 'not accepted.'; incorrect.
     bbaba expected 'accepted.', got 'not accepted.'; incorrect.
     aabba expected 'accepted.', got 'not accepted.'; incorrect.
     aaaab 'accepted.': correct.
     abaab 'accepted.': correct.
     bbaab 'accepted.': correct.
     abbab expected 'not accepted.', got 'accepted.'; incorrect.
     aaabb expected 'not accepted.', got 'accepted.'; incorrect.
     baabb expected 'not accepted.', got 'accepted.'; incorrect.
     ababb expected 'not accepted.', got 'accepted.'; incorrect.
     aabbb expected 'not accepted.', got 'accepted.'; incorrect.
    baaaaa 'not accepted.': correct.
    abaaaa expected 'accepted.', got 'not accepted.'; incorrect.
    bbbaaa expected 'accepted.', got 'not accepted.'; incorrect.
    aaabaa 'not accepted.': correct.
    baabaa 'not accepted.': correct.
    ababaa 'not accepted.': correct.
    bbabaa expected 'accepted.', got 'not accepted.'; incorrect.
    abbbaa 'not accepted.': correct.
    aaaaba expected 'accepted.', got 'not accepted.'; incorrect.
    bbbaba expected 'accepted.', got 'not accepted.'; incorrect.
    ababba expected 'accepted.', got 'not accepted.'; incorrect.
    bbbbba expected 'accepted.', got 'not accepted.'; incorrect.
    bbaaab 'accepted.': correct.
    aaabab 'accepted.': correct.
    ababab 'accepted.': correct.
    bbabab expected 'not accepted.', got 'accepted.'; incorrect.
    aabbab 'accepted.': correct.
    abbbab 'accepted.': correct.
    bbbbab expected 'not accepted.', got 'accepted.'; incorrect.
    bbaabb expected 'not accepted.', got 'accepted.'; incorrect.
    aababb 'accepted.': correct.
    abbabb 'accepted.': correct.
   bbbaaaa expected 'accepted.', got 'not accepted.'; incorrect.
   aabbaaa expected 'accepted.', got 'not accepted.'; incorrect.
   abbabaa expected 'accepted.', got 'not accepted.'; incorrect.
   aaabbaa expected 'accepted.', got 'not accepted.'; incorrect.
   baaaaba expected 'accepted.', got 'not accepted.'; incorrect.
   abbaaba expected 'accepted.', got 'not accepted.'; incorrect.
   aaaabba expected 'accepted.', got 'not accepted.'; incorrect.
   bbaabba expected 'accepted.', got 'not accepted.'; incorrect.
   bababba expected 'accepted.', got 'not accepted.'; incorrect.
   aabbbba expected 'accepted.', got 'not accepted.'; incorrect.
   bbbbbba expected 'accepted.', got 'not accepted.'; incorrect.
   baaaaab 'accepted.': correct.
   aaabaab 'accepted.': correct.
   ababaab 'accepted.': correct.
   abbbaab 'accepted.': correct.
   aaaabab 'accepted.': correct.
   baaabab expected 'not accepted.', got 'accepted.'; incorrect.
   abaabab 'accepted.': correct.
   bbaabab 'accepted.': correct.
   aababab expected 'not accepted.', got 'accepted.'; incorrect.
   abbabab expected 'not accepted.', got 'accepted.'; incorrect.
   ababbab expected 'not accepted.', got 'accepted.'; incorrect.
   abbbbab expected 'not accepted.', got 'accepted.'; incorrect.
   aaababb expected 'not accepted.', got 'accepted.'; incorrect.
   baababb expected 'not accepted.', got 'accepted.'; incorrect.
   bbbbabb 'accepted.': correct.
   bababbb 'accepted.': correct.
   abbabbb expected 'not accepted.', got 'accepted.'; incorrect.
   bbabbbb 'accepted.': correct.
   bbbbbbb 'accepted.': correct.
  aabaaaaa expected 'accepted.', got 'not accepted.'; incorrect.
  bbbaaaaa 'not accepted.': correct.
  baabaaaa expected 'accepted.', got 'not accepted.'; incorrect.
  bbbbaaaa expected 'accepted.', got 'not accepted.'; incorrect.
  bababaaa expected 'accepted.', got 'not accepted.'; incorrect.
  baabbaaa 'not accepted.': correct.
  bbbbbaaa expected 'accepted.', got 'not accepted.'; incorrect.
  aaaaabaa expected 'accepted.', got 'not accepted.'; incorrect.
  baaaabaa 'not accepted.': correct.
  abababaa 'not accepted.': correct.
  bbababaa expected 'accepted.', got 'not accepted.'; incorrect.
  abbbabaa 'not accepted.': correct.
  bbbbabaa expected 'accepted.', got 'not accepted.'; incorrect.
  bbaabbaa expected 'accepted.', got 'not accepted.'; incorrect.
  aabbbbaa 'not accepted.': correct.
  bbbbbbaa expected 'accepted.', got 'not accepted.'; incorrect.
  abaaaaba expected 'accepted.', got 'not accepted.'; incorrect.
  bbaaaaba expected 'accepted.', got 'not accepted.'; incorrect.
  aabaaaba expected 'accepted.', got 'not accepted.'; incorrect.
  baabaaba expected 'accepted.', got 'not accepted.'; incorrect.
  aabbaaba expected 'accepted.', got 'not accepted.'; incorrect.
  bbbbaaba expected 'accepted.', got 'not accepted.'; incorrect.
  bbaababa expected 'accepted.', got 'not accepted.'; incorrect.
64 errors