用C或JAVA语言编写一门语言的语义分析器。

编写一门语言的语义分析器可以分为以下几个步骤：

1. 定义语言的语法：首先需要定义所要编写的语言的语法，包括基本的语法结构、关键字、运算符等。可以使用 BNF 或 EBNF 等形式来描述语法规则。

2. 构建语法树：在语法分析阶段，可以根据定义的语法规则，将源代码转换成语法树。语法树是一种树形结构，它用来表示源代码的语法结构。

3. 定义语义规则：语义分析需要定义一些语义规则，用来检查程序是否符合语言的语义规范。语义规则可以检查类型、作用域、变量声明是否正确等。

4. 遍历语法树并进行语义分析：在遍历语法树的过程中，可以对节点进行语义分析。语义分析器会根据定义的语义规则，检查语法树中的节点是否符合规范。如果发现错误，会产生相应的错误信息。

5. 输出分析结果：最后，语义分析器会输出分析结果，包括语法树和错误信息等。

下面是一个简单的示例，用 C 语言实现一个简单的语义分析器，用来检查一个简单的语言中变量的类型是否正确。

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

typedef enum { INT, FLOAT, STRING } Type;

typedef struct {
    char* name;
    Type type;
} Symbol;

Symbol* symbol_table[100];  // 符号表

void add_symbol(char* name, Type type) {
    Symbol* symbol = (Symbol*)malloc(sizeof(Symbol));
    symbol->name = name;
    symbol->type = type;
    symbol_table[0] = symbol;
}

Type get_type(char* name) {
    for (int i = 0; i < 100; i++) {
        if (symbol_table[i] != NULL && strcmp(symbol_table[i]->name, name) == 0) {
            return symbol_table[i]->type;
        }
    }
    return -1;
}

void check_type(Node* node) {
    if (node == NULL) return;
    if (strcmp(node->type, "ID") == 0) {
        Type type = get_type(node->value);
        if (type == -1) {
            printf("Error: variable %s is not defined\n", node->value);
        } else {
            node->type = type;
        }
    } else {
        for (int i = 0; i < node->num_children; i++) {
            check_type(node->children[i]);
        }
    }
}

typedef struct Node {
    char* type;
    char* value;
    Type type;
    struct Node** children;
    int num_children;
} Node;

Node* new_node(char* type, char* value, Type type, int num_children) {
    Node* node = (Node*)malloc(sizeof(Node));
    node->type = type;
    node->value = value;
    node->type = type;
    node->num_children = num_children;
    node->children = (Node**)malloc(sizeof(Node*) * num_children);
    return node;
}

int main() {
    Node* root = new_node("PROGRAM", "", -1, 2);
    root->children[0] = new_node("INT_DECLARATION", "int", -1, 2);
    root->children[0]->children[0] = new_node("ID", "a", INT, 0);
    root->children[0]->children[1] = new_node("NUM", "1", INT, 0);
    root->children[1] = new_node("ASSIGNMENT", "=", -1, 2);
    root->children[1]->children[0] = new_node("ID", "a", -1, 0);
    root->children[1]->children[1] = new_node("NUM", "2.5", FLOAT, 0);

    add_symbol("a", INT);  // 添加变量到符号表

    check_type(root);  // 检查类型

    return 0;
}

在上面的示例中，我们定义了一个简单的语言，用来声明整型变量并进行赋值。我们使用节点来表示语法树，每个节点包含类型、值、类型等信息。我们还定义了一个符号表，用来存储变量的类型，语义分析器可以从符号表中获取变量的类型。在示例中，我们检查了变量的类型是否正确，如果发现错误，会输出错误信息。