https://123dok.org/document/qo5px9jm-calcolabilit-a-e-linguaggi-formali-compitino-b.html