Stav dette: Sprachoperatoren und arithmetische Eigenschaften unendlicher Symbolfolgen /