https://123dok.org/document/1y93gxvy-automata-theory-and-formal-languages.html