Symbolic dynamics on free groups