Course 2.20.2 MPRI: symbolic dynamics

Some notes