这是我参与「第五届青训营 」伴学笔记创作活动的第 7 天
规则引擎设计与实现
规则引擎
规则引擎是一种嵌入在应用程序中的组件，实现了将业务决策从应用程序代码中分离出来，并使用预定义的语义模块编写业务决策。接收数据输入，解释业务规则，并根据业务规则做出业务决策
编译原理
词法分析Lexical Analysis
词法分析就是把源代码字符串转换为词法单元(Token的这个过程)
有限自动机(Finite-State Automaton)
有限自动机就是一个状态机，它的状态数量是有限的，该状态机在任何一个状态，基于输入的字符，都能做一个确定的状态转换
语法分析(Syntax Analysis)
语法分析就是在词法分析的基础上，识别表达式的语法结构的过程
抽象语法树
表达式的语法结构可以用树来表示，其每个节点(子树)是一个语法单元，这个单元的构成规则就是叫“语法”。每个节点还可以有下级节点
上下文无关语法(Context-Free Grammer)
语言句子无需考虑上下文，就可以判断正确性。可以使用巴科斯范式(BNF)来表达
递归下降算法(Recursive Descent Parsing)
递归下降算法就是自顶向下构造语法树，不断的对Token进行语法展开(向下)，展开过程中可能会遇到递归的情况
类型检查
类型综合
根据表达式的类型构造出父表达式的类型。例如A+B的类型是根据A和B的类型定义的
编译时检查&运行时检查
类型检查可以发生在表达式的编译阶段，即在构造语法树的阶段；也可以发生在执行时的阶段
- 编译时：需要提前声明参数的类型，在构建语法树过程中进行类型检查
- 执行时：可以根据执行时的参数输入的值的类型，在执行过程中进行类型检查
