Computable symbolic dynamics