1: \begin{abstract}
2: We introduce geometric consideration into
3: the theory of formal languages. We aim to shed light on our understanding of global patterns
4: that occur on infinite strings. We utilise methods of geometric group theory.
5: Our emphasis is on large
6: scale geometries.
7: Two infinite strings have the same large scale
8: geometry if there are colour preserving bi-Lipschitz maps with
9: distortions between the strings.
10: Call these maps
11: quasi-isometries. Introduction of large scale geometries poses several
12: questions. The first question asks to study the partial order induced by quasi-isometries.
13: This partial order compares large scale geometries; as such it presents
14: an algebraic tool for classification of global patterns. We prove there is a greatest large scale geometry
15: and infinitely many minimal large scale geometries.
16: The second question is related to understanding the quasi-isometric
17: maps on various classes of strings.
18: The third question investigates the sets of large
19: scale geometries of strings accepted by
20: computational models, e.g. B\"uchi automata.
21: We provide an algorithm that describes large scale
22: geometries of strings accepted by B\"uchi automata. This links
23: large scale geometries with automata theory.
24: The fourth question studies the complexity of the quasi-isometry problem.
25: %between computable infinite strings.
26: We show the %quasi-isometry
27: problem is $\Sigma_3^0$-complete thus providing a bridge
28: with computability theory.
29: Finally, the fifth question asks to
30: build algebraic
31: structures that are invariants of large scale geometries. %carry a reasonable information about the geometry.
32: We invoke asymptotic cones, a key concept in geometric group theory,
33: defined via model-theoretic notion of ultra-product. Partly, we study asymptotic cones of algorithmically random strings
34: thus connecting the topic with algorithmic randomness.
35: \end{abstract}
36: