https://123dok.net/document/myj9xokz-decidable-properties-of-extension-graphs-for-substitutive-languages.html