this(nonTerminalId, new StateId(nonTerminalId.name + "-entry"), new StateId(nonTerminalId.name + "-exit"))