# File Automaten.rb, line 602 def uebergaenge tempueb = @uebergaenge.copy @uebergaenge = Menge.new([]) @zustaende.each{ |z| @alphabet.each{ |a| folge = z.folgeZustand(a,tempueb) if folge != Zustand.new(nil) then @uebergaenge.add(Konfiguration.new(z, a, folge)) if a != "eps" end } } end