Symbolic dynamics. - Brian H. Marcus; Susan Williams 001 (Scholarpedia, 2008)