+ "000, 000, 003, 001, 000, 000, 000, 003, "
+ "005, 050, 001, 000, 000, 000, 002, 004, "
+ "050, 001, 000, 000, 000, 000, 000, 007, "
+ "000, 000, 000, 000, 000";
String t1 = autNeu.bereinige(t1Std);
String t2 = "";
new ScriptInterpreter(
params, SonstMeth.MODUS_VERHALTEN).generateAutomaton(
autNeu, transNeu.translate(t1));