Auf dem Weg zu einer symbolischen Summationstheorie für nicht spezifizierte Sequenzen