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