https://9dok.net/document/y96j3omw-b-regular-languages.html