https://9lib.org/document/zx50pg7w-wzorce-automaty-wykład-teoretyczne-podstawy-informatyki.html