用c语言编写已知二叉树采用二叉链表储存结构，且数据域均为正整数，写一个算法求数据域的最大值。算法描述函数的函数原型要求是int FindMaxValue (BiTree BT)。

为了在C语言中编写一个函数`FindMaxValue(BiTree BT)`，首先需要定义一个二叉链表节点结构体`BiTreeNode`，包含两个指向前驱和后继节点的指针以及一个存储正整数的数据域。然后，我们可以创建一个递归算法来遍历整个二叉树并找到最大值。

// 定义二叉树节点结构体
typedef struct BiTreeNode {
    int value;     // 数据域，存储正整数
    struct BiTreeNode* left; // 左孩子指针
    struct BiTreeNode* right; // 右孩子指针
} BiTreeNode;

// 寻找最大值的辅助函数
int findMaxHelper(BiTreeNode* node, int currentMax) {
    if (node == NULL) return currentMax;
    
    // 如果当前节点值大于当前最大值，则更新最大值
    if (node->value > currentMax) {
        currentMax = node->value;
    }
    
    // 递归地遍历左、右子树
    return findMaxHelper(node->right, currentMax);
}

// 函数原型
int FindMaxValue(BiTree BT) {
    if (BT == NULL) { // 空树的情况
        return INT_MIN; // 或者返回某个默认最小值，表示无最大值
    } else {
        return findMaxHelper(BT, BT->value); // 从根节点开始查找
    }
}

在这个函数中，`findMaxHelper`是一个递归内部函数，它会沿着树的右侧分支不断比较节点值，直到遇到空节点。当到达叶节点时，函数返回到上一层，将当前最大值与父节点的值进行比较，然后再继续向左分支搜索。