A factory that creates deterministic finite state automata (DFAs) of type AbstractFSA that are associated with StringLabels. This is a factory as in the design pattern, (Design Patterns, Gamma, Helm, Johnson, and Vlissides, pp 87, 107, 1995).
Creates an instance of StringDFAFactory.