DFA/NFA/RE models, some operations