# File Parser.rb, line 32
        def initialize(dea)
                @atable = ATable.new(dea)
                @utable = UTable.new(dea)
                @start = @utable.getnamehs.invert[dea.getStartZustand().to_s]
                @symbols = @utable.getsymbole.values
        end