https://123dok.net/document/yngnd1jl-on-automata-and-language-based-grammar-metrics.html