https://123dok.net/document/zpnkrxw4-machine-de-turing-syst-emes-formels-master.html