https://123dok.net/document/zgwjwpkv-the-separability-of-formal-languages.html