https://123dok.net/document/yevklmp7-machine-de-turing-universelle.html