Symbolic dynamics is used to model functions acting on complex topological spaces. This work explores the symbolic dynamics over a non-Abelian group, the free group on two generators. We begin by introducing the fundamentals ...