Adding BaseMachine; extending that to create DFA