complete transition table definition