https://123dok.net/document/zkw12wrp-langages-formels-calculabilité-et-complexité-td.html