https://9lib.org/document/yevnv917-języki-automaty-obliczenia-wykład-języki-regularne-sławomir-lasota.html