Adding determinization (not fonctionnal)
 * algorithm concatenate int
 * algorithm concatenate inital states