appunti/Automi e Linguaggi/2020-11-26_2 Inferenza rico...