# File Automatenalt.rb, line 153 def uebergangsfunktion(grammatik) erg = Menge.new([]) @zustaende.each do |z| ch = z.naechstesZeichen if (z.isEpsUebergang(grammatik)) then @zustaende.each do |folg| erg.add(Konfiguration.new(z,Symb.new("eps"),folg)) if folg.ist_start_von(ch.to_s) and folg!=z end end erg.add(Konfiguration.new(z,Symb.new(ch),z.lesen)) if ch!="" end return erg end