https://9dok.net/document/zx5n04gn-tight-bounds-descriptional-complexity-regular-expressions.html