Add more Javadoc to the State class.
Use separate hidden states for MADFAs and Levenshtein automata.