假设二叉树中每个结点值为单个字符，采用二叉链存储结构存储。设计一个算法，输出二叉树b中第k层上的所有叶子结点（1≤k≤二叉树高度）。

要设计一个算法来输出二叉树B中第k层上的所有叶子结点，可以按照层次遍历的方法进行。这里我们采用深度优先搜索（DFS）结合广度优先搜索（BFS）的思想。以下是算法步骤：

1. **初始化**：
- 初始化一个队列`Q`，用于广度优先遍历。将根节点入队。
- 定义一个变量`level`表示当前层数，初始值为1。

2. **层次遍历**：
- 当`level`等于`k`时，说明我们已经到达了第k层。在这个状态下，所有正在队列中的节点都是第k层的节点。
- 对于队列中的每个节点`node`：
- 如果`node`是叶子节点（即它没有左子节点和右子节点），则输出`node`的值。
- 否则，如果`node`有左子节点，将其入队；如果`node`有右子节点，也将其入队。

3. **更新**：
- 每次从队列中移除节点后，将`level`加1，继续下一层的遍历，直到达到目标层数`k`。

下面是伪代码形式的实现：

function findLeavesAtLevel(root, k):
    Q = Queue()
    Q.enqueue(root)
    level = 1

    while not Q.isEmpty():
        node = Q.dequeue()
        if node.isLeaf():  # 判断节点是否为叶子节点
            print(node.value, " (Level:", level, ")")  # 输出叶子节点及其所在层级
        if level == k:
            break

        if node.left:  # 左子节点存在
            Q.enqueue(node.left)
        if node.right:  # 右子节点存在
            Q.enqueue(node.right)

        level += 1

请注意，`isLeaf()`函数和`value`属性需根据具体二叉链存储结构的实际定义进行替换。