fmp_commands.cc: Read the alphabets from the input automaton, do not ask the user to enter them again.