计算具有N个0和M个1且无前导零的数字

本题可以使用回溯法解决，首先我们可以定义一个递归函数backtrack来实现回溯过程，具体步骤如下：

1. 如果n和m都为0，说明已经生成了一个符合条件的数字，将其加入结果列表中。
2. 如果当前数字不为0，且n不为0，可以在当前数字后面添加一个0，并将n-1。
3. 如果当前数字不为1，且m不为0，可以在当前数字后面添加一个1，并将m-1。
4. 如果当前数字为0或者1，并且n或m还有剩余，可以在当前数字后面添加一个数，并相应减去n或m的值。
5. 回溯到上一步状态，继续搜索。
6. 回溯结束后，返回结果列表。

具体实现代码如下：

def findNums(n: int, m: int) -> List[str]:
    res = []
    def backtrack(num: str, n: int, m: int):
        if n == 0 and m == 0:
            res.append(num)
            return
        if num and num[-1] != '0' and n != 0:
            backtrack(num+'0', n-1, m)
        if num and num[-1] != '1' and m != 0:
            backtrack(num+'1', n, m-1)
        if not num and n != 0:
            backtrack('0', n-1, m)
        if not num and m != 0:
            backtrack('1', n, m-1)
        if num and n != 0:
            backtrack(num+'0', n-1, m)
        if num and m != 0:
            backtrack(num+'1', n, m-1)
    backtrack('', n, m)
    return sorted(list(set(res)))

我们可以对该函数进行测试：

findNums(2, 2)

输出结果为：

['0011', '0101', '0110', '1001', '1010', '1100']

注：由于结果集中可能存在重复的数字，因此需要使用set将其去重，最终再将其排序。此外，函数的返回结果类型为字符串列表。