Computability In Ordinal Ranks And Symbolic Dynamics