四种文法的判断类型代码

在计算机编程中，特别是语法分析方面，有几种常见的判断类型：

1. **词法判断** (Lexical Analysis): 这是对输入文本的基本单元（如单词、标识符、运算符等）进行识别的过程。通常通过正则表达式或者特定的词法规则来匹配。

def is_keyword(token):
    keyword_list = ["if", "else", "while"]  # 示例列表
    return token in keyword_list

2. **语法判断** (Syntactic Analysis): 检查输入是否符合语言的结构规则，例如检查括号是否配对，语句是否完整。这通常需要构建一个解析树来递归地进行。

def check_parentheses(s):
    stack = []
    for char in s:
        if char == '(':
            stack.append(char)
        elif char == ')':
            if not stack or stack.pop() != '(':
                return False
    return len(stack) == 0

3. **语义判断** (Semantic Analysis): 确定程序意义的合法性，比如变量类型检查、函数调用是否有效。这部分通常涉及到类型系统和上下文环境。

def semantic_check(expression, env):
    # ...复杂逻辑，检查expression在env环境中是否有意义...
    pass

4. **静态类型检查** (Type Checking): 在编译阶段就确定程序类型安全性，比如在Java中通过Javac工具。如果遇到类型不匹配的错误，会在编译阶段抛出异常。

if (expression instanceof Integer && someFunction(expression)) {
    // ...
}