Infinite Words is an important theory in both Mathematics and Computer Sciences. This work explores various aspects of the theory, including automata, semigroups, topology, games, logic, bi-infinite Words, infinite trees and finite words. It also looks at the early pioneering work of Buchi, McNaughton and Schutzenberger.