Class TAFSerializationDFA