Abstract:We introduce geometric consideration into the theory of formal languages. We aim to shed light on our understanding of global patterns that occur on infinite strings. We utilise methods of geometric group theory. Our emphasis is on large scale geometries. Two infinite strings have the same large scale geometry if there are colour preserving bi-Lipschitz maps with distortions between the strings. Call these maps quasi-isometries. Introduction of large scale geometries poses several questions. The first question asks to study the partial order induced by quasi-isometries. This partial order compares large scale geometries; as such it presents an algebraic tool for classification of global patterns. We prove there is a greatest large scale geometry and infinitely many minimal large scale geometries. The second question is related to understanding the quasi-isometric maps on various classes of strings. The third question investigates the sets of large scale geometries of strings accepted by computational models, e.g. Büchi automata. We provide an algorithm that describes large scale geometries of strings accepted by Büchi automata. This links large scale geometries with automata theory. The fourth question studies the complexity of the quasi-isometry problem. We show the problem is $\Sigma_3^0$-complete thus providing a bridge with computability theory. Finally, the fifth question asks to build algebraic structures that are invariants of large scale geometries. We invoke asymptotic cones, a key concept in geometric group theory, defined via model-theoretic notion of ultra-product. Partly, we study asymptotic cones of algorithmically random strings thus connecting the topic with algorithmic randomness.

Large scaled geometry of Julia sets of entire and meromorphic functions

Quasisymmetric Geometry of the Julia Sets of McMullen Maps

The Topology of Julia Sets for Polynomials

Generalization of 3D Mandelbrot and Julia Sets

Feigenbaum Julia sets of singularities of free energy

Iteration of Functions Which Are Meromorphic Outside A Small Set

Residual Julia Sets of Meromorphic Functions

A generalized family of transcendental functions with one dimensional Julia sets

Some Properties of Fatou and Julia Sets of Transcendental Meromorphic Functions

Uniformly perfect Julia sets of meromorphic functions

Escaping set and Julia set of transcendental semigroups

Local Connectivity of the Julia Sets with Bounded Type Siegel Disks

Geometry of transcendental singularities of complex analytic functions and vector fields

On the Julia Sets of Two Permutable Entire Functions

Transcendental Julia sets of positive finite Lebesgue measure

On Transcendental Meromorphic Functions Which Are Geometrically Finite

Representation and Rendering of General Julia Sets Based on Tri-Dimensional Polynomial Maps

On Uniformly Perfect Boundary of Stable Domains in Iteration of Meromorphic Functions Ii

On Julia Limiting Directions of Meromorphic Functions

Large Scale Geometries of Infinite Strings

Dynamics of Hyperbolic Meromorphic Functions