diff --git a/Automi e Linguaggi/2020-11-24_1 CFG - Derivazioni.pdf b/Automi e Linguaggi/2020-11-24_1 CFG - Derivazioni.pdf
index 4f3d819..840c1ee 100644
Binary files a/Automi e Linguaggi/2020-11-24_1 CFG - Derivazioni.pdf and b/Automi e Linguaggi/2020-11-24_1 CFG - Derivazioni.pdf differ
diff --git a/Automi e Linguaggi/2020-12-03_1 Automi a pila.pdf b/Automi e Linguaggi/2020-12-03_1 Automi a pila.pdf
index 39e01a9..ec4bb82 100644
Binary files a/Automi e Linguaggi/2020-12-03_1 Automi a pila.pdf and b/Automi e Linguaggi/2020-12-03_1 Automi a pila.pdf differ
diff --git a/Automi e Linguaggi/2020-12-07_1 Equivalenza tra CFG e PDA.pdf b/Automi e Linguaggi/2020-12-07_1 Equivalenza tra CFG e PDA.pdf
new file mode 100644
index 0000000..2a0a651
Binary files /dev/null and b/Automi e Linguaggi/2020-12-07_1 Equivalenza tra CFG e PDA.pdf differ
diff --git a/Automi e Linguaggi/2020-12-07_2 Proprietà dei CFL.pdf b/Automi e Linguaggi/2020-12-07_2 Proprietà dei CFL.pdf
new file mode 100644
index 0000000..2be686d
Binary files /dev/null and b/Automi e Linguaggi/2020-12-07_2 Proprietà dei CFL.pdf differ