*/
// Falls nur Standardkodierung verwendet werden soll: (TODO!)
if (params.getParValueBoolean("UseOnlyStandardDecoding")) {
this.erzeugeAusStdSequenz(seq2, pruefen);
} else {
Script neuScript = trans2.translate(seq2);
trans2.getScriptInterpreter().generateAutomaton(this, neuScript);
}
}
/**