Il problema di corrispondenza di Post

Relatore dott. Fabio Alessi