https://github.com/UnivAQ/Teoria_Della_Calcolabilita_E_Complessita/blob/master/2009-2014/exams/Compito-2012.pdf