analizzatore sintattico finito a meno di una ric. infinita somewhere / very hard test case