Seol mar théacs é seo: Sprachoperatoren und arithmetische Eigenschaften unendlicher Symbolfolgen /