Symbolic dynamics, and in particular β-expansions, are a ubiquitous tool in studying more complicated dynamical systems. Applications include number theory, fractals, information theory, and data storage. In this thesis we will explore the basics of dynamical systems with a special focus on topological dynamics. We then examine symbolic dynamics and β-transformations through the lens of sequence spaces. We discuss observations from recent literature about how matching (the property that the itinerary of 0 and 1 coincide after some number of iterations) is linked to when Tβ,⍺ generates a subshift of finite type. We prove the set of ⍺ in the parameter space for which Tβ,⍺ exhibits matching is symmetric and analyze some examples where the symmetry is both apparent and useful in finding a dense set of ⍺ for which Tβ,⍺ generates a subshift of finite type.

This work motivates the study of open dynamical systems corresponding to the doubling map. In particular, the dynamical properties of the attractor of the doubling map when a symmetric, centred open interval is removed are studied. Using the arithmetical properties of the binary expansion of the points on the boundary of the removed interval, we study properties such as topological transitivity, the specification property and intrinsic ergodicity. The properties of the function that associates to each hole $(a,b)$ the topological entropy of the attractor of the considered dynamical system are also shown. For these purposes, a subshift corresponding to an element of the lexicographic world is associated to each attractor and the mentioned properties are studied symbolically.