https://9lib.org/document/y9616n4l-języki-automaty-obliczenia-wykład-języki-regularne-skończone-sławomir.html