规则引擎设计与实现 | 青训营笔记这是我参与「第五届青训营」伴学笔记创作活动的第6天规则引擎和编译原理认识规则引擎

这是我参与「第五届青训营」伴学笔记创作活动的第6天

规则引擎和编译原理

规则引擎编译原理
1. 理解
  
  词法分析
  
  语法分析
1. 执行
2. 输入输出
  
  遍历过程中会根据我们提前设置好的一些语法来去做一些计算，在这过程中我们需要与外界进行交互，也就是输入和输出
  - 参数注入
    
    在规则执行过程中，使用输入的参数值来计算语法树中的标识符节点值的过程
  - 类型检查
    
    验证执行的结果是否为合适的数据类型。在抽象语法树中，通常会验证某节点的子节点的数据类型是否合法

词法分析 Lexical Analysis

把源代码字符串转换为词法单元（Token）的这个过程

如何识别Token？有限自动机（Finite-State Automaton）

有限自动机就是一个状态机，他的状态数量是有限的，该状态机在任何一个状态，基于输入的字符，都能做一个确定的状态转换

语法分析 Syntax Analysis

在词法分析的基础上识别表达式的语法结构

词法分析、语法分析可以将一个表达式转化为规则引擎可以理解的东西：抽象语法树

抽象语法树 Abstract Syntax Tree

表达式的语法结构可以用树来表示，其每个节点（子树）是一个语法单元，这个单元的构成规则就叫语法。每个节点还可以有下级节点

抽象语法树可以唯一标识一个表达式

抽象语法树是表达式抽象语法结构的树状表示，对于一个表达式，抽象语法树一定是唯一确定的

执行阶段会对抽象语法树做一个执行，执行简单来说就是对树进行一个遍历
- 上下文无关语法 Context-Free Grammar
  
  语言句子无需考虑上下文，就可以判断正确性。可以使用巴科斯范式（BNF）来表达
  
  exp : add;
  
  add : add '+' mul | mul; // 加法表达式 a + b + c a + b * c
  
  mul : mul '*' pri | pri; // 乘法表达式 a * b * c
  
  pri : string | bool | number | identifer; // 基础表达式 weight | 20 | "abcde"
  
  产生式：一个表达式可以由另外已知类型的表达式或者符号推导产生
  - 内置符号：字面量（string、bool、number）、标识符、运算符
  - 一个基础表达式可以由常量（string, bool, number）或标识符（identifer）
  - 一个乘法表达式可以由基础表达式或乘法表达式 * 基础表达式组成
    
    ... ...
- 递归下降算法 Recursive Descent Parsing
  
  递归下降算法就是自顶向下构建语法树
  
  不断的对Token进行语法展开（下降），展开过程中可能会遇到递归的情况