https://123dok.net/document/q066orgq-topological-symbolic-dynamics-hyperbolic-systems-holes.html