https://123dok.org/document/yr389pgj-fondamenti-informatica-computabilità-macchine-turing-franco-zambonelli-gennaio.html