For the instructor's login name, djimenez, the output of genfsa looks like this. This is the text description of djimenez's FSA; yours will look a little different.
runner% ~djimenez/bin/genfsa djimenez generating finite state automaton for 'djimenez' initial state is 1, final state is 3 from state 1, go to state 1 on 'a' input. from state 1, go to state 2 on 'b' input. from state 1, go to state 2 on 'c' input. from state 2, go to state 2 on 'a' input. from state 2, go to state 3 on 'b' input. from state 2, go to state 3 on 'c' input. from state 3, go to state 2 on 'a' input. from state 3, go to state 2 on 'b' input. from state 3, go to state 1 on 'c' input. yes examples no examples ------------ ----------- bb a cab ab abc bba bcab aca bcbb bbba ccbb acba caac bcba bbac baca bcac ccca bbbc babbHere is the output of checkfsa 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.
runner% ~djimenez/bin/checkfsa djimenez bb 'accepted.': correct. cab 'accepted.': correct. abc 'accepted.': correct. bcab 'accepted.': correct. bcbb 'accepted.': correct. ccbb 'accepted.': correct. caac 'accepted.': correct. bbac 'accepted.': correct. bcac 'accepted.': correct. bbbc 'accepted.': correct. a 'not accepted.': correct. ab 'not accepted.': correct. bba 'not accepted.': correct. aca 'not accepted.': correct. bbba 'not accepted.': correct. acba 'not accepted.': correct. bcba 'not accepted.': correct. baca 'not accepted.': correct. ccca 'not accepted.': correct. babb 'not accepted.': correct. 0 errorsHere'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.
runner% ~djimenez/bin/checkfsa djimenezdd b expected 'accepted.', got 'not accepted.'; incorrect. bba expected 'accepted.', got 'not accepted.'; incorrect. aab expected 'accepted.', got 'not accepted.'; incorrect. bab 'accepted.': correct. babba expected 'accepted.', got 'not accepted.'; incorrect. aaaab expected 'accepted.', got 'not accepted.'; incorrect. abaab 'accepted.': correct. baaaab 'accepted.': correct. bbaaab 'accepted.': correct. baabab 'accepted.': correct. aa 'not accepted.': correct. bb expected 'not accepted.', got 'accepted.'; incorrect. aaa 'not accepted.': correct. aaba 'not accepted.': correct. babb 'not accepted.': correct. baaaa 'not accepted.': correct. abaaa 'not accepted.': correct. abbaa 'not accepted.': correct. abbab expected 'not accepted.', got 'accepted.'; incorrect. bbabb 'not accepted.': correct. 7 errors