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 babb
Here 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