Adding the concept of a multi-state (collection of states represented as a single rule - essential for NFA>DFA conversion)