https://9dok.net/document/yd75xp1j-theory-computer-science-regular-languages-regular-expressions-gabriele.html