规则引擎设计与实现|青训营笔记

Smiling四叶草
117 阅读3分钟

image.png

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

本节导航

  • 认识规则引擎
  • 编译原理基本概念

认识规则引擎

规则引擎是一种嵌入在应用程序中的组件，实现了将业务决策从应用程序代码中分离出来，并使用预定义的语义模块编写业务决策。接受数据输入，解释业务规则，并根据业务规则做出业务决策。 image.png

编译原理基本概念

  • 编译： 把某种语言的源程序，在不改变语义的条件下，转换成另一种语言程序(目标语言程序)

编译型语言

  • 编译型语言：提前把代码一次性全部转化

  • 转化工具：编译器（c,c++,go）

解释型语言

  • 解释型语言：可以一边执行一边转化，读到哪一行就转到哪一行。
  • 转化工具：虚拟机（Java的Jvm）或者解释器（Python）
    • 虚拟机对二进制字节码进行解释
    • 解释器是对程序文本进行解释

词法分析

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

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

语法分析

  • 词法分析

词法分析是识别一个个的单词，而语法分析就是在词法分析的基础上识别出程序的语法结构。

  • 抽象语法树

树的每个节点（子树）是一个语法单元，这个单元的构成规则就叫“语法”。每个节点还可以有下级节点。

image.png

  • 上下文无关语法

语言句子无需考虑上下文，就可以判断正确性

上下文无关语法G：终结符集合T + 非终结符集合N + 产生式集合P + 起始符号S

终结符： 组成串的基本符号。可以理解为词法分析器产生的token集合。比如 + Id ( ) 等

非终结符： 表示token的的集合的语法变量。比如 stmt varDecl 等等

exp : add ;                                      //表达式       
add : add '+' mul | mul;                         //加法表达式
mul : mul '*' pri | pri;                         //乘法表达式
pri : IntLiteral | Id | '(' exp ')' ;            //基础表达式

  • 巴科斯范式

    BNF是描述上下文无关理论的一种具体方法，通过BNF可以实现上下文无关文法的具体化、公式化、科学化，是实现代码解析的必要条件。

<expr> ::= <expr> + <term>
         | <expr> - <term>
         | <term>
<term> ::= <term> * <factor>
         | <term> / <factor>
         | <factor>

<factor> ::= ( <expr> )
           | Num
  • 递归下降算法 RDP

递归下降算法就是自顶向下构造语法树，不断地对token进行语法展开（下降），展开过程中可能会遇到递归的情况。

image.png

类型检查

  • 类型综合

    • 根据子表达式的类型构造出父表达式的类型。例如，表达式A+B的类型是根据A和B的类型定义的

image.png

  • 编译时检查&运行时检查

    • 类型检查可以发生在表达式的编译阶段，即在构造语法树的阶段;也可以发生在执行时的阶段

      • 编译时:需要提前声明参数的类型，在构建语法树过程中进行类型检查

        int1:int;  str1:string

      • 执行时:可以根据执行时的参数输入的值类型，在执行过程中进行类型检查

        int1:108;str1:"300"
avatar
文章
阅读
粉丝