symbolic dynamics

Road colouring problem solved