Finita fino a ricerca, manca solo la parte semantica