Working on intersection and union of automatons.