Corrections and additions
New presentation on symbolic dynamics