C语言程序回文指的是一个字符串从前面读和从后面读都一样，如"abcba"、"123454321"都是回文。设计一个算法利用顺序栈的基本运算判断一个字符串是否为回文，并用相关数据进行测试。

在C语言中，我们可以创建一个简单的算法来判断一个字符串是否为回文，主要步骤如下：

1. **初始化栈**：首先，我们创建一个空的顺序栈（数组栈），用于存储字符。

2. **将一半字符入栈**：遍历字符串的一半，依次将字符压入栈中。

3. **比较栈顶元素与剩余部分**：然后，每次从栈顶取出一个字符，与其对应的另一半字符串中的字符进行比较。如果相同，则继续；如果不相同，说明不是回文，返回false。

4. **判断完整串**：当遍历完一半字符串时，如果没有发现不匹配的字符，说明原始字符串是回文，返回true。

以下是这个算法的伪代码和简单示例：

#include <stdio.h>
#include <string.h>
#define MAX_SIZE 100

// 判断字符是否相等忽略大小写
int compare_chars(char a, char b) {
    return tolower(a) == tolower(b);
}

// 判断字符串是否为回文
int is_palindrome(char str[]) {
    int stack[MAX_SIZE], top = -1;
    for (int i = 0; i < strlen(str) / 2; i++) {
        if (!compare_chars(str[i], str[strlen(str) - 1 - i])) {
            return 0; // 不是回文，直接返回
        }
        stack[++top] = str[i];
    }

    // 如果前半部分字符全部出栈后仍相等，则是回文
    while (top >= 0) {
        if (!compare_chars(stack[top], str[strlen(str) - 1 - top])) {
            return 0;
        }
        top--;
    }

    return 1; // 是回文
}

// 测试函数
void test_palindrome() {
    char str1[] = "abcba";
    char str2[] = "12321";

    printf("%s 是回文吗? %d\n", str1, is_palindrome(str1));
    printf("%s 是回文吗? %d\n", str2, is_palindrome(str2));
}

int main() {
    test_palindrome();
    return 0;
}

运行此代码，你会看到`abcba`和`12321`都被正确识别为回文。