Giochi di Ehrenfeucht - Fraissè: complessità computazionale e applicazioni