# File Automaten.rb, line 584 def myhill uebergaenge = @uebergaenge.copy 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) @zustaende.add(folge) if folge != Zustand.new(nil) } } end end