Indexed presentation on symbolic dynamics