https://9lib.org/document/yj7ve222-języki-formalne-i-metody-kompilacji-wymagania-na-zaliczenie.html