# File Compilerbau2.rb, line 82
        def to_s
        res = String.new
        @symbs.each{ |symb| res = res+" "+symb.to_s }
        return res
        end