Extend the deep connection between formal languages and group theory.
Introduce languages of nested words to the study of the word problem for groups.
Characterize groups using nested words.
Demonstrate the potential for using nested words to study groups.