this.finalStates.forEach(state -> pda.addFinalState(state));
this.transitions.forEach(trans -> pda.addTransition(
new eas.math.fundamentalAlgorithms.graphBased.algorithms.pushDown.Transition(
new StateTapesymbolKellersymbol(trans.getSource(), trans.getLabel(), pda.getKellerZeichen()),
new StateKellersymbols(trans.getDestination(), pda.getKellerZeichen()))));
return pda;
}