https://123dok.org/document/qmjv94k7-compito-calcolabilit-linguaggi-formali-maggio.html