# File automaten.rb, line 584 def myhill uebergaenge = @uebergaenge.copy @uebergaenge = Menge.new([]) zustaende = @zustaende.copy @zustaende = Menge.new([]) @zustaende.add(@startZustand) tmpZustand = Menge.new([]) while tmpZustand!=@zustaende do tmpZustand = @zustaende.copy tmpZustand.each{|i| @alphabet.each{ |z| folge = i.folgeZustand(z,uebergaenge) if folge != Zustand.new(nil) @zustaende.add(folge) @uebergaenge.add(Konfiguration.new(i, z, folge)) end } } end end