A reduced distributed splicing system for RE languages