//Questo automa non gestisce i loop,per esempio nn gestisce il caso /*******

FineCommento=0; //Variabile che risulta vero se si arriva a fine commento,falsa  
                //altrimenti

if (car=='/')
  { if ((car=getc(FileSorgente))=='*')
      { 
        while (!FineCommento)
          { 
            while ((car=getc(FileSorgente))!='*');
            while ((car=getc(FileSorgente))=='*');
            if (car=='/')
              { lookahead=0; FineCommento=1; return; }
          }
      } else { printf("Errore: dopo '/' deve esserci '*' "); return 0; }
  }